KERNEL_PT_IOPXS
#define KERNEL_PT_VMDATA (KERNEL_PT_IOPXS + 1)
&kernel_pt_table[KERNEL_PT_IOPXS]);
#define KERNEL_PT_VMDATA (KERNEL_PT_IOPXS + 1)
&kernel_pt_table[KERNEL_PT_IOPXS]);
#define KERNEL_PT_VMDATA (KERNEL_PT_IOPXS + 1)
&kernel_pt_table[KERNEL_PT_IOPXS]);
#define KERNEL_PT_VMDATA (KERNEL_PT_IOPXS + 1)
&kernel_pt_table[KERNEL_PT_IOPXS]);
#define KERNEL_PT_VMDATA (KERNEL_PT_IOPXS + 1)
&kernel_pt_table[KERNEL_PT_IOPXS]);
#define KERNEL_PT_VMDATA (KERNEL_PT_IOPXS + 1)
&kernel_pt_table[KERNEL_PT_IOPXS]);