size_of_info 1424 include/linux/efi.h u32 size_of_info; size_of_info 1433 include/linux/efi.h u64 size_of_info; size_of_info 1442 include/linux/efi.h unsigned long size_of_info;