dev_info_t
load_loader(const boot_module_t **modp, dev_info_t **devinfop, void **bufp,
dev_info_t *dev;
dev_info_t *dev;
dev_info_t *devinfo;
add_device(dev_info_t **devinfop, dev_info_t *devinfo)
dev_info_t *dev;
extern void add_device(dev_info_t **devinfop, dev_info_t *devinfo);
EFI_STATUS (*probe)(dev_info_t* dev);
EFI_STATUS (*load)(const char *filepath, dev_info_t *devinfo,
dev_info_t *(*devices)(void);
probe(dev_info_t* dev)
load(const char *filepath, dev_info_t *dev, void **bufp, size_t *bufsize)
dev_info_t *dev;
static dev_info_t *
static dev_info_t *devinfo;
static dev_info_t *devices;
init_dev(dev_info_t* dev)