red_mask           63 drivers/firmware/efi/libstub/gop.c 		find_bits(pixel_info.red_mask, &si->red_pos, &si->red_size);
red_mask         1405 include/linux/efi.h 	u32 red_mask;