Symbol: KERNEL_PT_VMDATA_NUM
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
605
for (loop = 0; loop < KERNEL_PT_VMDATA_NUM; loop++)
sys/arch/armv7/armv7/armv7_machdep.c
611
KERNEL_VM_BASE + (KERNEL_PT_VMDATA_NUM * 0x00400000);