Searched refs:map_buffer (Results 1 – 1 of 1) sorted by relevance
222 static mmap_t map_buffer[MAXMAPS]; variable811 return (map_buffer[index].type); in dboot_loader_mmap_get_type()855 return (((uint64_t)map_buffer[index].base_addr_high << 32) + in dboot_loader_mmap_get_base()856 (uint64_t)map_buffer[index].base_addr_low); in dboot_loader_mmap_get_base()902 return (((uint64_t)map_buffer[index].length_high << 32) + in dboot_loader_mmap_get_length()903 (uint64_t)map_buffer[index].length_low); in dboot_loader_mmap_get_length()1052 set_xen_guest_handle(map.buffer, map_buffer); in init_mem_alloc()