Symbol: PG_VADDR
sys/dev/kloader.c
407
kloader.loader = (void *)PG_VADDR(kloader.cur_pg);
sys/dev/kloader.c
446
kloader.tagstart = (void *)PG_VADDR(kloader.cur_pg);
sys/dev/kloader.c
473
addr = PG_VADDR(pg);