UEFI_WGDS_TABLE_SIZE_REV3
"WGDS", UEFI_WGDS_TABLE_SIZE_REV3,
expected_size = UEFI_WGDS_TABLE_SIZE_REV3;