Searched refs:boot_index (Results 1 – 2 of 2) sorted by relevance
44 uint32_t boot_index; member
585 efi_status_t efi_bootmgr_delete_boot_option(u16 boot_index);
Completed in 18 milliseconds