Searched refs:bpr_min (Results 1 – 3 of 3) sorted by relevance
839 u8 bpr_min = __vgic_v3_bpr_min() - 1; in __vgic_v3_write_bpr0() local842 if (val < bpr_min) in __vgic_v3_write_bpr0()843 val = bpr_min; in __vgic_v3_write_bpr0()856 u8 bpr_min = __vgic_v3_bpr_min(); in __vgic_v3_write_bpr1() local862 if (val < bpr_min) in __vgic_v3_write_bpr1()863 val = bpr_min; in __vgic_v3_write_bpr1()