efi_virtmap_unload
#define arch_efi_call_virt_teardown() efi_virtmap_unload()
void efi_virtmap_unload(void);
void efi_virtmap_unload(void);
efi_virtmap_unload();
efi_virtmap_unload();