Searched refs:bpr_min (Results 1 – 1 of 1) sorted by relevance
870 u8 bpr_min = __vgic_v3_bpr_min() - 1; in __vgic_v3_write_bpr0() local873 if (val < bpr_min) in __vgic_v3_write_bpr0()874 val = bpr_min; in __vgic_v3_write_bpr0()887 u8 bpr_min = __vgic_v3_bpr_min(); in __vgic_v3_write_bpr1() local893 if (val < bpr_min) in __vgic_v3_write_bpr1()894 val = bpr_min; in __vgic_v3_write_bpr1()