Searched defs:highmem (Results 1 – 4 of 4) sorted by relevance
42 uint64_t lowmem, highmem; in bios_addsmapdata() local
67 uint64_t lowmem, highmem; in bi_load32() local
122 vm_paddr_t highmem; in init_bootrom() local
387 test_getmem(void * arg,uint64_t * lowmem,uint64_t * highmem) test_getmem() argument