efi_runtime_assert_lock_held
efi_runtime_assert_lock_held();
void efi_runtime_assert_lock_held(void);