Symbol: KERNEL_VMDATA_PTS
sys/arch/shark/ofw/ofw.c
1273
static pv_addr_t proc0_pt_vmdata[KERNEL_VMDATA_PTS];
sys/arch/shark/ofw/ofw.c
1311
for (i = 0; i < KERNEL_VMDATA_PTS; i++)
sys/arch/shark/ofw/ofw.c
1337
for (i = 0; i < KERNEL_VMDATA_PTS; i++)
sys/arch/shark/ofw/ofw.c
1426
KERNEL_VM_BASE + (KERNEL_VMDATA_PTS * 0x00400000);