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