val_high           48 drivers/media/dvb-frontends/stb6100.c 	u32 val_high;
val_high          367 drivers/media/dvb-frontends/stb6100.c 	     (ptr->val_high != 0) && !CHKRANGE(frequency, ptr->val_low, ptr->val_high);
val_high          370 drivers/media/dvb-frontends/stb6100.c 	if (ptr->val_high == 0) {
val_high          479 drivers/platform/x86/intel_pmc_core.c 	u32 val_low, val_high;
val_high          506 drivers/platform/x86/intel_pmc_core.c 	val_high = pmc_core_reg_read(pmcdev, SPT_PMC_MFPMC_OFFSET);
val_high          518 drivers/platform/x86/intel_pmc_core.c 			   map[index].bit_mask & val_high ? "Not power gated" :