max_ctx_type      241 drivers/firmware/efi/cper-arm.c 	int i, len, max_ctx_type;
max_ctx_type      313 drivers/firmware/efi/cper-arm.c 	max_ctx_type = ARRAY_SIZE(arm_reg_ctx_strs) - 1;
max_ctx_type      323 drivers/firmware/efi/cper-arm.c 		if (ctx_info->type > max_ctx_type) {
max_ctx_type      325 drivers/firmware/efi/cper-arm.c 				newpfx, ctx_info->type, max_ctx_type);