Searched refs:val_high (Results 1 – 2 of 2) sorted by relevance
60 u32 val_high; member376 (ptr->val_high != 0) && !CHKRANGE(frequency, ptr->val_low, ptr->val_high); in stb6100_set_frequency()379 if (ptr->val_high == 0) { in stb6100_set_frequency()
1180 u32 val_low, val_high; in gic_check_eoimode() local1188 val_high = readl_relaxed(*base + GIC_CPU_IDENT + 0xf000); in gic_check_eoimode()1190 val_low != val_high) in gic_check_eoimode()