11 #include "fw/uefi.h"
71 			     "PNVM UEFI variable not found 0x%lx (len %lu)\n",  in iwl_uefi_get_pnvm()
76 	IWL_DEBUG_FW(trans, "Read PNVM from UEFI with size %lu\n", package_size);  in iwl_uefi_get_pnvm()
97 				"%s UEFI variable not found 0x%lx\n", var_name,  in iwl_uefi_get_verified_variable_guid()
104 				"Invalid %s UEFI variable len (%lu)\n",  in iwl_uefi_get_verified_variable_guid()
110 	IWL_DEBUG_RADIO(trans, "%s from UEFI with size %lu\n", var_name,  in iwl_uefi_get_verified_variable_guid()
453 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI WRDS revision:%d\n",  in iwl_uefi_get_wrds_table()
479 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI EWRD revision:%d\n",  in iwl_uefi_get_ewrd_table()
514 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI WGDS revision:%d\n",  in iwl_uefi_get_wgds_table()
552 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI PPAG revision:%d\n",  in iwl_uefi_get_ppag_table()
583 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI WTAS revision:%d\n",  in iwl_uefi_get_tas_table()
635 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI SPLC revision:%d\n",  in iwl_uefi_get_pwr_limit()
657 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI WRDD revision:%d\n",  in iwl_uefi_get_mcc()
664 		IWL_DEBUG_RADIO(fwrt, "UEFI WRDD is supported only for CN\n");  in iwl_uefi_get_mcc()
688 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI WRDD revision:%d\n",  in iwl_uefi_get_eckv()
710 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI WBEM revision:%d\n",  in iwl_uefi_get_wbem()
715 	IWL_DEBUG_RADIO(fwrt, "Loaded WBEM config from UEFI\n");  in iwl_uefi_get_wbem()
737 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI DSM revision:%d\n",  in iwl_uefi_get_dsm()
758 	 * uefi variable or revision is not supported  in iwl_uefi_get_puncturing()
770 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI PUNCTURING rev:%d\n",  in iwl_uefi_get_puncturing()
774 		IWL_DEBUG_RADIO(fwrt, "Loaded puncturing bits from UEFI: %d\n",  in iwl_uefi_get_puncturing()
797 		IWL_DEBUG_RADIO(fwrt, "Unsupported UEFI DSBR revision:%d\n",  in iwl_uefi_get_dsbr()
802 	IWL_DEBUG_RADIO(fwrt, "Loaded DSBR config from UEFI value: 0x%x\n",  in iwl_uefi_get_dsbr()