Sign in
chromium
/
chromiumos
/
third_party
/
grub2
/
fd01fd1d7f511093ee1c57e145ba25a254f9953e
/
.
/
include
/
grub
/
i386
/
pc
/
biosnum.h
blob: 29c8ecc8828df995844cf0bdbfec456a101c7b2d [
file
] [
log
] [
blame
]
#ifndef
GRUB_BIOSNUM_MACHINE_HEADER
#define
GRUB_BIOSNUM_MACHINE_HEADER
1
extern
int
(*
grub_get_root_biosnumber
)
(
void
);
#endif