Symbol: KERNEL_PT_KERNEL
sys/arch/armv7/armv7/armv7_machdep.c
173
#define KERNEL_PT_VMDATA (KERNEL_PT_KERNEL+KERNEL_PT_KERNEL_NUM)
sys/arch/armv7/armv7/armv7_machdep.c
603
&kernel_pt_table[KERNEL_PT_KERNEL + loop]);