Searched refs:highmem (Results 1 – 5 of 5) sorted by relevance
45 uint64_t lowmem, highmem; in bios_addsmapdata() local49 CALLBACK(getmem, &lowmem, &highmem); in bios_addsmapdata()65 if (highmem != 0) { in bios_addsmapdata()67 sm->length = highmem; in bios_addsmapdata()
149 uint64_t lowmem, highmem; in bi_load32() local239 CALLBACK(getmem, &lowmem, &highmem); in bi_load32()
76 size_t highmem; member374 ctx->highmem = memsize - ctx->lowmem_limit; in vm_setup_memory()375 objsize = 4*GB + ctx->highmem; in vm_setup_memory()378 ctx->highmem = 0; in vm_setup_memory()397 if (ctx->highmem > 0) { in vm_setup_memory()399 len = ctx->highmem; in vm_setup_memory()434 if (ctx->highmem > 0) { in vm_map_gpa()435 if (gaddr >= 4*GB && gaddr + len <= 4*GB + ctx->highmem) in vm_map_gpa()453 return (ctx->highmem); in vm_get_highmem_size()
179 uint64_t *highmem);
363 test_getmem(void *arg, uint64_t *lowmem, uint64_t *highmem) in test_getmem() argument367 *highmem = 0; in test_getmem()