diff options
Diffstat (limited to 'src/include/ipxe/efi')
| -rw-r--r-- | src/include/ipxe/efi/efi_block.h | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/include/ipxe/efi/efi_block.h b/src/include/ipxe/efi/efi_block.h index ea28230bf..f8cf7fc13 100644 --- a/src/include/ipxe/efi/efi_block.h +++ b/src/include/ipxe/efi/efi_block.h @@ -15,13 +15,4 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); #define SANBOOT_PREFIX_efi __efi_ #endif -static inline __always_inline unsigned int -SANBOOT_INLINE ( efi, san_default_drive ) ( void ) { - /* Drive numbers don't exist as a concept under EFI. We - * arbitarily choose to use drive 0x80 to minimise differences - * with a standard BIOS. - */ - return 0x80; -} - #endif /* _IPXE_EFI_BLOCK_H */ |