KERNEL_PT_KERNEL
#define KERNEL_PT_VMDATA (KERNEL_PT_KERNEL+KERNEL_PT_KERNEL_NUM)
&kernel_pt_table[KERNEL_PT_KERNEL + loop]);