Symbol: vmem_get
sys/arch/hpcmips/stand/pbsdboot/elf.c
89
if ((vaddr = vmem_get(addr, &n)) == NULL) {
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.h
131
void *vmem_get(void *phys_addr, int *length);
sys/arch/hpcmips/stand/pbsdboot/vmem.c
399
page = vmem_get(addr, NULL);