Searched refs:map_buffer (Results 1 – 1 of 1) sorted by relevance
206 static mmap_t map_buffer[MAXMAPS]; variable733 return (map_buffer[index].type); in dboot_loader_mmap_get_type()771 return (((uint64_t)map_buffer[index].base_addr_high << 32) + in dboot_loader_mmap_get_base()772 (uint64_t)map_buffer[index].base_addr_low); in dboot_loader_mmap_get_base()810 return (((uint64_t)map_buffer[index].length_high << 32) + in dboot_loader_mmap_get_length()811 (uint64_t)map_buffer[index].length_low); in dboot_loader_mmap_get_length()957 set_xen_guest_handle(map.buffer, map_buffer); in init_mem_alloc()