Searched refs:efi_memory_map_key (Results 1 – 3 of 3) sorted by relevance
18 efi_uintn_t efi_memory_map_key; variable216 ++efi_memory_map_key; in efi_add_memory_map()548 *map_key = efi_memory_map_key; in efi_get_memory_map()
1932 if (map_key != efi_memory_map_key) in efi_exit_boot_services()
94 extern efi_uintn_t efi_memory_map_key;