diff --git a/lib/efi_loader/efi_boottime.c b/lib/efi_loader/efi_boottime.c
index cf69c06721..cdee10956e 100644
--- a/lib/efi_loader/efi_boottime.c
+++ b/lib/efi_loader/efi_boottime.c
@@ -887,7 +887,7 @@ static efi_status_t EFIAPI efi_exit_boot_services(void *image_handle,
 {
 	EFI_ENTRY("%p, %ld", image_handle, map_key);
 
-	board_quiesce_devices();
+	board_quiesce_devices(NULL);
 
 	/* Fix up caches for EFI payloads if necessary */
 	efi_exit_caches();