/* See the Unified Extensible Firmware Interface (UEFI) specification for details.  */
static void EFIAPI efi_restore_tpl(efi_uintn_t old_tpl)
/* See the Unified Extensible Firmware Interface (UEFI) specification for details.  */
static void EFIAPI efi_restore_tpl(efi_uintn_t old_tpl)
{
	EFI_ENTRY("0x%zx", old_tpl);
	if (old_tpl > efi_tpl)
		EFI_PRINT("WARNING: old_tpl > current_tpl in %s\n", __func__);
	efi_tpl = old_tpl;
	if (efi_tpl > TPL_HIGH_LEVEL)
		efi_tpl = TPL_HIGH_LEVEL;
	efi_timer_check();
	EFI_EXIT(EFI_SUCCESS);
}