Searched defs:media_id (Results 1 - 1 of 1) sorted by relevance

/osnet-11/usr/src/grub/grub2/include/grub/efi/
H A Dapi.h1316 grub_efi_uint32_t media_id,
1321 grub_efi_uint32_t media_id,
1330 grub_efi_uint32_t media_id; member in struct:grub_efi_block_io_media
1426 grub_efi_uint32_t media_id,
1431 grub_efi_uint32_t media_id,

Completed in 199 milliseconds