Searched refs:map_buffer (Results 1 – 1 of 1) sorted by relevance
223 static mmap_t map_buffer[MAXMAPS]; variable752 return (map_buffer[index].type); in dboot_loader_mmap_get_type()790 return (((uint64_t)map_buffer[index].base_addr_high << 32) + in dboot_loader_mmap_get_base()791 (uint64_t)map_buffer[index].base_addr_low); in dboot_loader_mmap_get_base()829 return (((uint64_t)map_buffer[index].length_high << 32) + in dboot_loader_mmap_get_length()830 (uint64_t)map_buffer[index].length_low); in dboot_loader_mmap_get_length()977 set_xen_guest_handle(map.buffer, map_buffer); in init_mem_alloc()