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