Symbol: KERNEL_PT_VMDATA
sys/arch/armv7/armv7/armv7_machdep.c
176
#define NUM_KERNEL_PTS (KERNEL_PT_VMDATA + KERNEL_PT_VMDATA_NUM)
sys/arch/armv7/armv7/armv7_machdep.c
607
&kernel_pt_table[KERNEL_PT_VMDATA + loop]);