Symbol: KERNEL_PT_IO
sys/arch/evbarm/ixdp425/ixdp425_machdep.c
148
#define KERNEL_PT_VMDATA (KERNEL_PT_IO + 1)
sys/arch/evbarm/ixdp425/ixdp425_machdep.c
547
&kernel_pt_table[KERNEL_PT_IO]);
sys/arch/evbarm/ixm1200/ixm1200_machdep.c
170
#define KERNEL_PT_VMDATA (KERNEL_PT_IO + 1)
sys/arch/evbarm/ixm1200/ixm1200_machdep.c
493
&kernel_pt_table[KERNEL_PT_IO]);
sys/arch/evbarm/nslu2/nslu2_machdep.c
178
#define KERNEL_PT_VMDATA (KERNEL_PT_IO + 1)
sys/arch/evbarm/nslu2/nslu2_machdep.c
605
&kernel_pt_table[KERNEL_PT_IO]);
sys/arch/hpcarm/hpcarm/sa11x0_hpc_machdep.c
380
&kernel_pt_table[KERNEL_PT_IO]);