EFI_TABLE_ALLOC_MAX
if (fw_resource_count > EFI_TABLE_ALLOC_MAX /
if (prop_len > EFI_TABLE_ALLOC_MAX) {
if (len > EFI_TABLE_ALLOC_MAX) {