Searched refs:vgic_v2_write_lr (Results 1 – 1 of 1) sorted by relevance
14 static inline void vgic_v2_write_lr(int lr, u32 val) in vgic_v2_write_lr() function26 vgic_v2_write_lr(i, 0); in vgic_v2_init_lrs()