#include "offsets.h"

#define KERNEL_TEXT 0xFFFFFFFF80210000

offset_list off_0300 = {
    .IOMMU_SOFTC = 0x33175E0,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x06423F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x0390E73,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x048B9A0,
    .FUN_HV_IOMMU_SET_BUFFERS = 0x0B33E20,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0x0B33D50,
    .FUN_SMP_RENDEZVOUS = 0x0A3E850,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x0287E50,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282CBCB,
    .KERNEL_UART_OVERRIDE = 0x1EB0258,
    .KERNEL_CFI_CHECK = 0x0441DD0,
    .G_VBIOS = 0x0734B5D0,
    .FUN_TRANSMITTER_CONTROL = 0x0B2A560,
    .FUN_MP3_INITIALIZE = 0x0953890,
    .FUN_MP3_INVOKE = 0x0952670,
    .PS5_WIFI_FW_OFFSET = 0x1274460,
    .PS5_WIFI_FW_SIZE = 492304,
};

offset_list off_0310 = {
    .IOMMU_SOFTC = 0x33175E0,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x06423F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x0390EB3,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x048B9E0,
    .FUN_HV_IOMMU_SET_BUFFERS = 0x0B33E60,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0x0B33D90,
    .FUN_SMP_RENDEZVOUS = 0x0A3E890,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x0287EA8,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282CBCB,
    .KERNEL_UART_OVERRIDE = 0x1EB0258,
    .KERNEL_CFI_CHECK = 0x0441E10,
    .G_VBIOS = 0x0734B5D0,
    .FUN_TRANSMITTER_CONTROL = 0x0B2A5A0,
    .FUN_MP3_INITIALIZE = 0x09538D0,
    .FUN_MP3_INVOKE = 0x09526B0,
    .PS5_WIFI_FW_OFFSET = 0x1274490,
    .PS5_WIFI_FW_SIZE = 492304,
};

offset_list off_0320 = {
    .IOMMU_SOFTC = 0x33175E0,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x06423F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x391203,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x48BD30,
    .FUN_HV_IOMMU_SET_BUFFERS = 0xB34320,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0xB34250,
    .FUN_SMP_RENDEZVOUS = 0xA3ED50,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x288230,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282CBCB,
    .KERNEL_UART_OVERRIDE = 0x1EB0258,
    .KERNEL_CFI_CHECK = 0x442160,
    .G_VBIOS = 0x734B5D0,
    .FUN_TRANSMITTER_CONTROL = 0xB2AA60,
    .FUN_MP3_INITIALIZE = 0x953D30,
    .FUN_MP3_INVOKE = 0x952B10,
    .PS5_WIFI_FW_OFFSET = 0x1274550,
    .PS5_WIFI_FW_SIZE = 492304,
};

offset_list off_0321 = {
    .IOMMU_SOFTC = 0x33175E0,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x06423F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x391203,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x48BD30,
    .FUN_HV_IOMMU_SET_BUFFERS = 0xB34320,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0xB34250,
    .FUN_SMP_RENDEZVOUS = 0xA3ED50,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x288250,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282CBCB,
    .KERNEL_UART_OVERRIDE = 0x1EB0258,
    .KERNEL_CFI_CHECK = 0x442160,
    .G_VBIOS = 0x734B5D0,
    .FUN_TRANSMITTER_CONTROL = 0xB2AA60,
    .FUN_MP3_INITIALIZE = 0x953D30,
    .FUN_MP3_INVOKE = 0x952B10,
    .PS5_WIFI_FW_OFFSET = 0x1274550,
    .PS5_WIFI_FW_SIZE = 492304,
};

offset_list off_0400 = {
    .IOMMU_SOFTC = 0x33C7680,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x064C3F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x3A7613,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x4A3240,
    .FUN_HV_IOMMU_SET_BUFFERS = 0xB638F0,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0xB63830,
    .FUN_SMP_RENDEZVOUS = 0xA6C920,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x295488,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282B45D,
    .KERNEL_UART_OVERRIDE = 0x1F522A8,
    .KERNEL_CFI_CHECK = 0x45A170,
    .G_VBIOS = 0x72B7630,
    .FUN_TRANSMITTER_CONTROL = 0xB5AD50,
    .FUN_MP3_INITIALIZE = 0x9805C0,
    .FUN_MP3_INVOKE = 0x97F3E0,
    .PS5_WIFI_FW_OFFSET = 0x1392FB0,
    .PS5_WIFI_FW_SIZE = 493000,
};

offset_list off_0402 = {
    .IOMMU_SOFTC = 0x33C7680,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x064C3F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x3A7613,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x4A3240,
    .FUN_HV_IOMMU_SET_BUFFERS = 0xB63950,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0xB63890,
    .FUN_SMP_RENDEZVOUS = 0xA6C970,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x29A018,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282B45D,
    .KERNEL_UART_OVERRIDE = 0x1F522A8,
    .KERNEL_CFI_CHECK = 0x45A170,
    .G_VBIOS = 0x72B7630,
    .FUN_TRANSMITTER_CONTROL = 0xB5ADA0,
    .FUN_MP3_INITIALIZE = 0x980610,
    .FUN_MP3_INVOKE = 0x97F430,
    .PS5_WIFI_FW_OFFSET = 0x1392FB0,
    .PS5_WIFI_FW_SIZE = 493000,
};

offset_list off_0403 = {
    .IOMMU_SOFTC = 0x33C7680,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x064C3F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x3A7613,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x4A3240,
    .FUN_HV_IOMMU_SET_BUFFERS = 0xB639F0,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0xB63930,
    .FUN_SMP_RENDEZVOUS = 0xA6CA00,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x299F20,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282B45D,
    .KERNEL_UART_OVERRIDE = 0x1F522A8,
    .KERNEL_CFI_CHECK = 0x45A170,
    .G_VBIOS = 0x72B7630,
    .FUN_TRANSMITTER_CONTROL = 0xB5AE30,
    .FUN_MP3_INITIALIZE = 0x9806A0,
    .FUN_MP3_INVOKE = 0x97F4C0,
    .PS5_WIFI_FW_OFFSET = 0x1392FB0,
    .PS5_WIFI_FW_SIZE = 493000,
};

offset_list off_0450 = {
    .IOMMU_SOFTC = 0x33C7680,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x064C3F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x03A75E3,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x04A3270,
    .FUN_HV_IOMMU_SET_BUFFERS = 0xB63BB0,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0xB63AF0,
    .FUN_SMP_RENDEZVOUS = 0xA6CBB0,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x299FC0,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282B45D,
    .KERNEL_UART_OVERRIDE = 0x1F522A8,
    .KERNEL_CFI_CHECK = 0x45A1A0,
    .G_VBIOS = 0x72B7630,
    .FUN_TRANSMITTER_CONTROL = 0xB5AFF0,
    .FUN_MP3_INITIALIZE = 0x980850,
    .FUN_MP3_INVOKE = 0x97F670,
    .PS5_WIFI_FW_OFFSET = 0x1392FC0,
    .PS5_WIFI_FW_SIZE = 493000,
};

offset_list off_0451 = {
    .IOMMU_SOFTC = 0x33C7680,
    .VMSPACE_VM_VMID = 0x1E4,
    .VMSPACE_VM_PMAP = 0x1D0,
    .DATA_BASE_GVMSPACE = 0x64C3F80,
    .HOOK_ACPI_WAKEUP_MACHDEP = 0x3A75E3,
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = 0x4A3270,
    .FUN_HV_IOMMU_SET_BUFFERS = 0xB63FE0,
    .FUN_HV_IOMM_WAIT_COMPLETION = 0xB63F20,
    .FUN_SMP_RENDEZVOUS = 0xA6CFE0,
    .FUN_SMP_NO_RENDEVOUS_BARRIER = 0x299FA8,
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282B45D,
    .KERNEL_UART_OVERRIDE = 0x1F522A8,
    .KERNEL_CFI_CHECK = 0x45A1A0,
    .G_VBIOS = 0x72B7630,
    .FUN_TRANSMITTER_CONTROL = 0xB5B420,
    .FUN_MP3_INITIALIZE = 0x980BF0,
    .FUN_MP3_INVOKE = 0x97FA10,
    .PS5_WIFI_FW_OFFSET = 0x1393000,
    .PS5_WIFI_FW_SIZE = 493000,
};

offset_list off_0500 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D0,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83C982A0 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF8745DCA0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF87460850 - KERNEL_TEXT),
    .STOPPED_CPUS = (0xFFFFFFFF87520DE0 - KERNEL_TEXT),
    .FUN_STOP_CPUS = (0xFFFFFFFF80CAB210 - KERNEL_TEXT),
    .FUN_AS_LAPIC_EOI = (0xFFFFFFFF804486E0 - KERNEL_TEXT),
    .FUN_HV_UNMAP_PT_TMR = (0xFFFFFFFF80DA9060 - KERNEL_TEXT),
    .FUN_MEMCPY = (0xFFFFFFFF80489E30 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80b93d94 - KERNEL_TEXT),
    .GAD_IRETQ = (0xffffffff8044b06d - KERNEL_TEXT),
    // .GAD_POP_RAX_RET not needed
    .GAD_POP_RDI_RET = (0xffffffff803e8778 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803a92b0 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff8040dafc - KERNEL_TEXT),
    // .GAD_POP_RCX_RET not needed
    // .GAD_WRMSR_RET not needed
    .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET = (0xffffffff80603c0a - KERNEL_TEXT),
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804A74B0 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CAB7F0 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804B3788 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282EBD0,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF82291378 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF80677FB0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF87673A50 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DA0AB0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BC0440 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BBF160 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF8163E2B0 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 493532,
};

offset_list off_0502 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D0,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83C982A0 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF8745DCA0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF87460850 - KERNEL_TEXT),
    .STOPPED_CPUS = (0xFFFFFFFF87520DE0 - KERNEL_TEXT),
    .FUN_STOP_CPUS = (0xFFFFFFFF80CAB210 - KERNEL_TEXT),
    .FUN_AS_LAPIC_EOI = (0xFFFFFFFF804486E0 - KERNEL_TEXT),
    .FUN_HV_UNMAP_PT_TMR = (0xFFFFFFFF80DA9060 - KERNEL_TEXT),
    .FUN_MEMCPY = (0xFFFFFFFF80489E30 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80b93d94 - KERNEL_TEXT),
    .GAD_IRETQ = (0xffffffff8044b06d - KERNEL_TEXT),
    // .GAD_POP_RAX_RET not needed
    .GAD_POP_RDI_RET = (0xffffffff803e8778 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803a92b0 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff8054d532 - KERNEL_TEXT),
    // .GAD_POP_RCX_RET not needed
    // .GAD_WRMSR_RET not needed
    .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET = (0xffffffff80603c0a - KERNEL_TEXT),
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804AA140 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CAB7F0 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804B3770 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282EBD0,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF82291378 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF80677FB0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF87673A50 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DA0AB0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BC0440 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BBF160 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF8163E2B0 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 493532,
};

offset_list off_0510 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D0,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83C982A0 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF8745DCA0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF87460850 - KERNEL_TEXT),
    .STOPPED_CPUS = (0xFFFFFFFF87520DE0 - KERNEL_TEXT),
    .FUN_STOP_CPUS = (0xFFFFFFFF80CAB460 - KERNEL_TEXT),
    .FUN_AS_LAPIC_EOI = (0xFFFFFFFF804486E0 - KERNEL_TEXT),
    .FUN_HV_UNMAP_PT_TMR = (0xFFFFFFFF80DA9390 - KERNEL_TEXT),
    .FUN_MEMCPY = (0xFFFFFFFF80489E30 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80b93fe4 - KERNEL_TEXT),
    .GAD_IRETQ = (0xffffffff8044b06d - KERNEL_TEXT),
    // .GAD_POP_RAX_RET not needed
    .GAD_POP_RDI_RET = (0xffffffff803e8778 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803a92b0 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff8054d532 - KERNEL_TEXT),
    // .GAD_POP_RCX_RET not needed
    // .GAD_WRMSR_RET not needed
    .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET = (0xffffffff80603c0a - KERNEL_TEXT),
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804A6C78 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CABA40 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804B3760 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282EBD0,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF82291378 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF80677FB0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF87673A50 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DA0DE0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BC0690 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BBF3B0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF8163E670 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 493532,
};

offset_list off_0550 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D0,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83C942A0 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF8745DCA0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF87460850 - KERNEL_TEXT),
    .STOPPED_CPUS = (0xFFFFFFFF87520DE0 - KERNEL_TEXT),
    .FUN_STOP_CPUS = (0xFFFFFFFF80CAC250 - KERNEL_TEXT),
    .FUN_AS_LAPIC_EOI = (0xFFFFFFFF804486A0 - KERNEL_TEXT),
    .FUN_HV_UNMAP_PT_TMR = (0xFFFFFFFF80DAA180 - KERNEL_TEXT),
    .FUN_MEMCPY = (0xFFFFFFFF80489DF0 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80b94dd4 - KERNEL_TEXT),
    .GAD_IRETQ = (0xFFFFFFFF8044B02D - KERNEL_TEXT),
    // .GAD_POP_RAX_RET not needed
    .GAD_POP_RDI_RET = (0xffffffff803e8738 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803a9270 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff8054d4f2 - KERNEL_TEXT),
    // .GAD_POP_RCX_RET not needed
    // .GAD_WRMSR_RET not needed
    .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET = (0xffffffff80603cba - KERNEL_TEXT),
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804A7BD8 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CAC830 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804B3408 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6282DFEB,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF82291488 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF80678060 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF87673A50 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DA1BD0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BC1480 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BC01A0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF8163EB30 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 493532,
};

offset_list off_0600 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D8,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83C04540 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF873CDDE0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF873D0A00 - KERNEL_TEXT),
    .STOPPED_CPUS = (0xFFFFFFFF87520DE0 - KERNEL_TEXT),
    .FUN_STOP_CPUS = (0xFFFFFFFF80CD13B0 - KERNEL_TEXT),
    .FUN_AS_LAPIC_EOI = (0xFFFFFFFF80451E60 - KERNEL_TEXT),
    .FUN_HV_UNMAP_PT_TMR = (0xFFFFFFFF80DD36B0 - KERNEL_TEXT),
    .FUN_MEMCPY = (0xFFFFFFFF804935B0 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80bb6ad4 - KERNEL_TEXT),
    .GAD_IRETQ = (0xFFFFFFFF804547ED - KERNEL_TEXT),
    // .GAD_POP_RAX_RET not needed
    .GAD_POP_RDI_RET = (0xffffffff803f1ef8 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803b2a30 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff803f321e - KERNEL_TEXT),
    // .GAD_POP_RCX_RET not needed
    .GAD_POP_RSP_RET = (0xffffffff8045a830 - KERNEL_TEXT),
    // .GAD_WRMSR_RET not needed
    .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET = (0xffffffff806141fa - KERNEL_TEXT),
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804B1460 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CD1990 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804BD118 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x62841CE0,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF822D25C8 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF806899B0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF875DFA50 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DCB210 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BE3A40 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BE27C0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF81665C00 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 494536,
};

offset_list off_0602 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D8,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83C04540 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF873CDDE0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF873D0A00 - KERNEL_TEXT),
    .STOPPED_CPUS = (0xFFFFFFFF87520DE0 - KERNEL_TEXT),
    .FUN_STOP_CPUS = (0xFFFFFFFF80CD1390 - KERNEL_TEXT),
    .FUN_AS_LAPIC_EOI = (0xFFFFFFFF80451E60 - KERNEL_TEXT),
    .FUN_HV_UNMAP_PT_TMR = (0xFFFFFFFF80DD3690 - KERNEL_TEXT),
    .FUN_MEMCPY = (0xFFFFFFFF804935B0 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80bb6ab4 - KERNEL_TEXT),
    .GAD_IRETQ = (0xFFFFFFFF804547ED - KERNEL_TEXT),
    // .GAD_POP_RAX_RET not needed
    .GAD_POP_RDI_RET = (0xffffffff803f1ef8 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803b2a30 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff804c48da - KERNEL_TEXT),
    // .GAD_POP_RCX_RET not needed
    .GAD_POP_RSP_RET = (0xffffffff8045a830 - KERNEL_TEXT),
    // .GAD_WRMSR_RET not needed
    .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET = (0xffffffff806141fa - KERNEL_TEXT),
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804B0C38 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CD1970 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804C05A8 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x62841CE0,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF822D25C8 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF806899B0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF875DFA50 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DCB1F0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BE3A20 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BE27A0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF81665CC0 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 494536,
};

offset_list off_0650 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D8,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xffffffff83c04540 - KERNEL_TEXT),
    .IDT = (0xffffffff873cdde0 - KERNEL_TEXT),
    .COMMON_TSS = (0xffffffff873d0a00 - KERNEL_TEXT),
    // .STOPPED_CPUS not needed
    // .FUN_STOP_CPUS not needed
    // .FUN_AS_LAPIC_EOI not needed
    // .FUN_HV_UNMAP_PT_TMR not needed
    .FUN_MEMCPY = (0xffffffff804935b0 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80bb7224 - KERNEL_TEXT),
    .GAD_IRETQ = (0xffffffff804547ed - KERNEL_TEXT),
    .GAD_POP_RAX_RET = (0xffffffff8040eb50 - KERNEL_TEXT),
    .GAD_POP_RDI_RET = (0xffffffff803f1ef8 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803b2a30 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff80536a32 - KERNEL_TEXT),
    //.GAD_POP_RCX_RET = (0xffffffff8033ba53 - KERNEL_TEXT),
    .GAD_POP_RCX_RET = (0xffffffff804e68b8 - KERNEL_TEXT),
    .GAD_POP_RSP_RET = (0xffffffff8045a830 - KERNEL_TEXT),
    .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET = (0xffffffff8061421a - KERNEL_TEXT),
    .GAD_WRMSR_RET = (0xffffffff80451e84 - KERNEL_TEXT),
    // .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET not needed
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xffffffff806d2610 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xffffffff80cd20e0 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xffffffff804bc370 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x62841D50,
    .KERNEL_UART_OVERRIDE = (0xffffffff822d25c8 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xffffffff80689a20 - KERNEL_TEXT),
    .G_VBIOS = (0xffffffff875dfa50 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xffffffff80dcb990 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xffffffff80be4190 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xffffffff80be2f10 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xffffffff81665b90 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 494536,
};

offset_list off_0720 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D8,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xffffffff83ac9c50 - KERNEL_TEXT),
    .IDT = (0xffffffff83cdfdf0 - KERNEL_TEXT),
    .COMMON_TSS = (0xffffffff83ce2ad0 - KERNEL_TEXT),
    // .STOPPED_CPUS not needed
    // .FUN_STOP_CPUS not needed
    // .FUN_AS_LAPIC_EOI not needed
    // .FUN_HV_UNMAP_PT_TMR not needed
    .FUN_MEMCPY = (0xffffffff80493600 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80c435ff - KERNEL_TEXT),
    .GAD_IRETQ = (0xffffffff809c52e8 - KERNEL_TEXT),
    .GAD_POP_RAX_RET = (0xffffffff80e4c2d5 - KERNEL_TEXT),
    .GAD_POP_RDI_RET = (0xffffffff80dfe38b - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff80dfdd9e - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff80a4fd38 - KERNEL_TEXT),
    .GAD_POP_RCX_RET = (0xffffffff80e24def - KERNEL_TEXT),
    .GAD_POP_RSP_RET = (0xffffffff80e2b4c0 - KERNEL_TEXT),
    .GAD_WRMSR_RET = (0xffffffff80451d04 - KERNEL_TEXT),
    // .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET not needed
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xffffffff806cc830 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xffffffff80cb6100 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xffffffff804c0820 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6283D800,
    .KERNEL_UART_OVERRIDE = (0xffffffff822c33f8 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xffffffff806857a0 - KERNEL_TEXT),
    .G_VBIOS = (0xffffffff83ef7a40 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xffffffff80dafcc0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xffffffff80bcba10 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xffffffff80bca7d0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xffffffff81655700 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 497636,
};

offset_list off_0740 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D8,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83AC9C50 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF83CDFDF0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF83CE2AD0 - KERNEL_TEXT),
    // .STOPPED_CPUS not needed
    // .FUN_STOP_CPUS not needed
    // .FUN_AS_LAPIC_EOI not needed
    // .FUN_HV_UNMAP_PT_TMR not needed
    .FUN_MEMCPY = (0xFFFFFFFF80493600 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80c435ff - KERNEL_TEXT),
    .GAD_IRETQ = (0xffffffff8045480d - KERNEL_TEXT),
    .GAD_POP_RAX_RET = (0xffffffff8040e9d0 - KERNEL_TEXT),
    .GAD_POP_RDI_RET = (0xffffffff803f1d78 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803b28b0 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff805cd53c - KERNEL_TEXT),
    .GAD_POP_RCX_RET = (0xffffffff80e24def - KERNEL_TEXT),
    .GAD_POP_RSP_RET = (0xffffffff8045a850 - KERNEL_TEXT),
    .GAD_WRMSR_RET = (0xffffffff80451d04 - KERNEL_TEXT),
    // .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET not needed
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xffffffff804b19f0 - KERNEL_TEXT),//0xffffffff806cc830
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xffffffff80cb6100  - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xffffffff804badf0 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6283D800,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF822C33F8 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xffffffff806857a0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF83EF7A40 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xffffffff80dafcc0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xffffffff80bcba10 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xffffffff80bca7d0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xffffffff81655700 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 497636,
};

offset_list off_0760 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D8,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83AC9C50 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF83CDFDF0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF83CE2AD0 - KERNEL_TEXT),
    // .STOPPED_CPUS not needed
    // .FUN_STOP_CPUS not needed
    // .FUN_AS_LAPIC_EOI not needed
    // .FUN_HV_UNMAP_PT_TMR not needed
    .FUN_MEMCPY = (0xFFFFFFFF80493600 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80b9da44 - KERNEL_TEXT),
    .GAD_IRETQ = (0xFFFFFFFF8045480D - KERNEL_TEXT),
    .GAD_POP_RAX_RET = (0xffffffff8040e9d0 - KERNEL_TEXT), 
    .GAD_POP_RDI_RET = (0xffffffff803f1d78 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803b28b0 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff8078d502 - KERNEL_TEXT),
    .GAD_POP_RCX_RET = (0xffffffff804e2231 - KERNEL_TEXT),
    .GAD_POP_RSP_RET = (0xffffffff8045a850 - KERNEL_TEXT),
    .GAD_WRMSR_RET = (0xffffffff80451d04 - KERNEL_TEXT),
    // .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET not needed
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804B1DB8 - KERNEL_TEXT), 
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CB6710  - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804BD280 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00, 
    .HV_HANDLE_VMEXIT_PA = 0x6283D800,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF822C33F8 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF806857B0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF83EF7A40 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DB02D0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BCC020 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BCADE0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF81655800 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 497636,
};

offset_list off_0761 = {
    // .IOMMU_SOFTC not needed
    // .VMSPACE_VM_VMID not needed
    .VMSPACE_VM_PMAP = 0x1D8,
    // .DATA_BASE_GVMSPACE not needed
    .ACPIGBL_FACS = (0xFFFFFFFF83AC9C50 - KERNEL_TEXT),
    .IDT = (0xFFFFFFFF83CDFDF0 - KERNEL_TEXT),
    .COMMON_TSS = (0xFFFFFFFF83CE2AD0 - KERNEL_TEXT),
    // .STOPPED_CPUS not needed
    // .FUN_STOP_CPUS not needed
    // .FUN_AS_LAPIC_EOI not needed
    // .FUN_HV_UNMAP_PT_TMR not needed
    .FUN_MEMCPY = (0xFFFFFFFF80493600 - KERNEL_TEXT),
    .GAD_ADD_RSP_28_POP_RBP_RET = (0xffffffff80b9da44 - KERNEL_TEXT),
    .GAD_IRETQ = (0xFFFFFFFF8045480D - KERNEL_TEXT),
    .GAD_POP_RAX_RET = (0xffffffff8040e9d0 - KERNEL_TEXT),
    .GAD_POP_RDI_RET = (0xffffffff803f1d78 - KERNEL_TEXT),
    .GAD_POP_RSI_RET = (0xffffffff803b28b0 - KERNEL_TEXT),
    .GAD_POP_RDX_RET = (0xffffffff805cd6b4 - KERNEL_TEXT),
    .GAD_POP_RCX_RET = (0xffffffff804e2231 - KERNEL_TEXT),
    .GAD_POP_RSP_RET = (0xffffffff8045a850 - KERNEL_TEXT),
    .GAD_WRMSR_RET = (0xffffffff80451d04 - KERNEL_TEXT),
    // .GAD_MOV_QWORD_PTR_RDI_RSI_POP_RBP_RET not needed
    // .HOOK_ACPI_WAKEUP_MACHDEP not needed
    .KERNEL_CODE_CAVE = 0x500,
    .FUN_PRINTF = (0xFFFFFFFF804B05F8 - KERNEL_TEXT),
    // .FUN_HV_IOMMU_SET_BUFFERS not needed
    // .FUN_HV_IOMM_WAIT_COMPLETION not needed
    .FUN_SMP_RENDEZVOUS = (0xFFFFFFFF80CB6710 - KERNEL_TEXT),
    .FUN_SMP_NO_RENDEVOUS_BARRIER = (0xFFFFFFFF804BABC0 - KERNEL_TEXT),
    .HV_CODE_CAVE_PA = 0x62806F00,
    .HV_HANDLE_VMEXIT_PA = 0x6283D800,
    .KERNEL_UART_OVERRIDE = (0xFFFFFFFF822C33F8 - KERNEL_TEXT),
    .KERNEL_CFI_CHECK = (0xFFFFFFFF806857B0 - KERNEL_TEXT),
    .G_VBIOS = (0xFFFFFFFF83EF7A40 - KERNEL_TEXT),
    .FUN_TRANSMITTER_CONTROL = (0xFFFFFFFF80DB02D0 - KERNEL_TEXT),
    .FUN_MP3_INITIALIZE = (0xFFFFFFFF80BCC020 - KERNEL_TEXT),
    .FUN_MP3_INVOKE = (0xFFFFFFFF80BCADE0 - KERNEL_TEXT),
    .PS5_WIFI_FW_OFFSET = (0xFFFFFFFF81655800 - KERNEL_TEXT),
    .PS5_WIFI_FW_SIZE = 497636,
};