VFCT_IMAGE_HEADER
VFCT_IMAGE_HEADER *vhdr = &vbios->VbiosHeader;
offset += sizeof(VFCT_IMAGE_HEADER);
VFCT_IMAGE_HEADER VbiosHeader;
VFCT_IMAGE_HEADER Lib1Header;
VFCT_IMAGE_HEADER VbiosHeader;
VFCT_IMAGE_HEADER Lib1Header;
VFCT_IMAGE_HEADER *vhdr;
if (vfct->VBIOSImageOffset + sizeof(VFCT_IMAGE_HEADER) > tbl_size) {
if (vfct->VBIOSImageOffset + sizeof(VFCT_IMAGE_HEADER) + vhdr->ImageLength > tbl_size) {