frame_buffer_size 1426 include/linux/efi.h 	u32 frame_buffer_size;
frame_buffer_size 1435 include/linux/efi.h 	u64 frame_buffer_size;
frame_buffer_size 1444 include/linux/efi.h 	unsigned long frame_buffer_size;