195 		return EFI_SUCCESS;  in efi_parse_options()
199 	if (status != EFI_SUCCESS)  in efi_parse_options()
238 	return EFI_SUCCESS;  in efi_parse_options()
382 		if (status != EFI_SUCCESS)  in efi_measure_tagged_event()
405 		if (status != EFI_SUCCESS)  in efi_measure_tagged_event()
407 		return EFI_SUCCESS;  in efi_measure_tagged_event()
493 	if (status != EFI_SUCCESS)  in efi_convert_cmdline()
525 	if (status != EFI_SUCCESS)  in efi_exit_boot_services()
529 	if (status != EFI_SUCCESS) {  in efi_exit_boot_services()
562 		if (status != EFI_SUCCESS)  in efi_exit_boot_services()
567 		if (status != EFI_SUCCESS)  in efi_exit_boot_services()
652 	if (status != EFI_SUCCESS)  in efi_load_initrd_dev_path()
657 	if (status != EFI_SUCCESS)  in efi_load_initrd_dev_path()
666 	if (status != EFI_SUCCESS)  in efi_load_initrd_dev_path()
671 	if (status != EFI_SUCCESS) {  in efi_load_initrd_dev_path()
675 	return EFI_SUCCESS;  in efi_load_initrd_dev_path()
707 	efi_status_t status = EFI_SUCCESS;  in efi_load_initrd()
711 		return EFI_SUCCESS;  in efi_load_initrd()
714 	if (status == EFI_SUCCESS) {  in efi_load_initrd()
718 					     EFISTUB_EVT_INITRD) == EFI_SUCCESS)  in efi_load_initrd()
725 			return EFI_SUCCESS;  in efi_load_initrd()
726 		if (status == EFI_SUCCESS)  in efi_load_initrd()
729 	if (status != EFI_SUCCESS)  in efi_load_initrd()
734 	if (status != EFI_SUCCESS)  in efi_load_initrd()
739 	if (status != EFI_SUCCESS)  in efi_load_initrd()
744 	return EFI_SUCCESS;  in efi_load_initrd()
777 	if (status != EFI_SUCCESS)  in efi_wait_for_key()
782 	if (status != EFI_SUCCESS)  in efi_wait_for_key()
787 	if (status == EFI_SUCCESS) {  in efi_wait_for_key()