arch_efi_call_virt_teardown
void arch_efi_call_virt_teardown(void);
void arch_efi_call_virt_teardown(void);
void arch_efi_call_virt_teardown(void);
arch_efi_call_virt_teardown(); \
arch_efi_call_virt_teardown();
arch_efi_call_virt_teardown();
arch_efi_call_virt_teardown();
arch_efi_call_virt_teardown(); \