UEFI_ACPI_VFCT
UEFI_ACPI_VFCT *vfct;
if (tbl_size < sizeof(UEFI_ACPI_VFCT)) {
vfct = (UEFI_ACPI_VFCT *)hdr;
UEFI_ACPI_VFCT *vfct;
if (tbl_size < sizeof(UEFI_ACPI_VFCT)) {
vfct = (UEFI_ACPI_VFCT *)hdr;