Symbol: KERNEL_PT_KERNEL_NUM
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
601
for (loop = 0; loop < KERNEL_PT_KERNEL_NUM; loop++)