ARCH_COLD_RESET   167 drivers/firmware/arm_scmi/reset.c 				 ARCH_COLD_RESET);
ARCH_COLD_RESET   174 drivers/firmware/arm_scmi/reset.c 				 ARCH_COLD_RESET);
ARCH_COLD_RESET   180 drivers/firmware/arm_scmi/reset.c 	return scmi_domain_reset(handle, domain, 0, ARCH_COLD_RESET);