EFI_SUCCESS       192 arch/x86/kernel/efi.c 	if (status != EFI_SUCCESS) {
EFI_SUCCESS       206 arch/x86/kernel/efi.c 	if (status != EFI_SUCCESS) {
EFI_SUCCESS       220 arch/x86/kernel/efi.c 	if (status != EFI_SUCCESS)
EFI_SUCCESS       513 arch/x86/kernel/efi.c 	if (status != EFI_SUCCESS) {
EFI_SUCCESS       406 arch/x86/kernel/reboot.c 						 EFI_SUCCESS, 0, NULL);