efi_call
error = efi_call(&ec);
error = efi_call(&ec);
error = efi_call(&ec);
return (efi_call(&ec));
return (efi_call(&ec));
error = efi_call(&ec);
error = efi_call(&ec);
return (efi_call(&ec));