SDEI_VERSION_MAJOR 1013 drivers/firmware/arm_sdei.c 		(int)SDEI_VERSION_MAJOR(ver), (int)SDEI_VERSION_MINOR(ver),
SDEI_VERSION_MAJOR 1016 drivers/firmware/arm_sdei.c 	if (SDEI_VERSION_MAJOR(ver) != 1) {