vd_efi_dev_t
vd_efi_dev_t edev;
vd_efi_dev_t edev;
vd_efi_dev_t edev;
vd_efi_dev_t edev;
vd_efi_check_gpt(vd_efi_dev_t *dev, efi_gpt_t *gpt)
vd_efi_alloc_and_read(vd_efi_dev_t *dev, efi_gpt_t **efi_gpt,
vd_efi_free(vd_efi_dev_t *dev, efi_gpt_t *gpt, efi_gpe_t *gpe)
vd_efi_ioctl(vd_efi_dev_t *dev, int cmd, void *arg)
int vd_efi_alloc_and_read(vd_efi_dev_t *dev, efi_gpt_t **gpt, efi_gpe_t **gpe);
void vd_efi_free(vd_efi_dev_t *dev, efi_gpt_t *gpt, efi_gpe_t *gpe);