rci2_len           35 drivers/firmware/efi/rci2-table.c 	u32 rci2_len;
rci2_len          105 drivers/firmware/efi/rci2-table.c 				  rci2_len));