vd_efi_free
vd_efi_free(&edev, gpt, gpe);
vd_efi_free(&edev, gpt, gpe);
vd_efi_free(&edev, gpt, gpe);
vd_efi_free(&edev, gpt, gpe);
vd_efi_free(&edev, gpt, gpe);
void vd_efi_free(vd_efi_dev_t *dev, efi_gpt_t *gpt, efi_gpe_t *gpe);