Searched refs:UEFIAvbBootKernelResult (Results 1 – 3 of 3) sorted by relevance
43 } UEFIAvbBootKernelResult; typedef58 UEFIAvbBootKernelResult uefi_avb_boot_kernel(EFI_HANDLE efi_image_handle,64 UEFIAvbBootKernelResult result);
116 UEFIAvbBootKernelResult uefi_avb_boot_kernel(EFI_HANDLE efi_image_handle, in uefi_avb_boot_kernel()119 UEFIAvbBootKernelResult ret; in uefi_avb_boot_kernel()296 UEFIAvbBootKernelResult result) { in uefi_avb_boot_kernel_result_to_string()
38 UEFIAvbBootKernelResult boot_result; in efi_main()