Symbol: KERNEL_PT_VMEM
sys/arch/acorn32/acorn32/rpc_machdep.c
674
&kernel_pt_table[KERNEL_PT_VMEM]);
sys/arch/acorn32/eb7500atx/eb7500atx_machdep.c
616
&kernel_pt_table[KERNEL_PT_VMEM]);