Symbol: NUM_KERNEL_PTS
sys/arch/armv7/armv7/armv7_machdep.c
178
pv_addr_t kernel_pt_table[NUM_KERNEL_PTS];
sys/arch/armv7/armv7/armv7_machdep.c
521
for (loop = 0; loop <= NUM_KERNEL_PTS; ++loop) {
sys/arch/armv7/armv7/armv7_machdep.c
660
for (loop = 0; loop < NUM_KERNEL_PTS; ++loop) {