static void virt_efi_reset_system(int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data) { spin_lock(&efi_runtime_lock); __efi_call_virt(reset_system, reset_type, status, data_size, data); spin_unlock(&efi_runtime_lock); }
static void virt_efi_reset_system(int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data) { unsigned long flags; spin_lock_irqsave(&efi_runtime_lock, flags); __efi_call_virt(reset_system, reset_type, status, data_size, data); spin_unlock_irqrestore(&efi_runtime_lock, flags); }
static void virt_efi_reset_system(int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data) { if (down_interruptible(&efi_runtime_lock)) { pr_warn("failed to invoke the reset_system() runtime service:\n" "could not get exclusive access to the firmware\n"); return; } __efi_call_virt(reset_system, reset_type, status, data_size, data); up(&efi_runtime_lock); }