Searched refs:__vgic_v3_get_highest_active_priority (Results 1 – 1 of 1) sorted by relevance
572 static int __vgic_v3_get_highest_active_priority(void) in __vgic_v3_get_highest_active_priority() function723 if (__vgic_v3_get_highest_active_priority() <= __vgic_v3_pri_to_pre(lr_prio, vmcr, grp)) in __vgic_v3_read_iar()1002 u32 val = __vgic_v3_get_highest_active_priority(); in __vgic_v3_read_rpr()