Searched refs:__vgic_v3_write_vmcr (Results 1 – 1 of 1) sorted by relevance
521 static void __vgic_v3_write_vmcr(u32 vmcr) in __vgic_v3_write_vmcr() function536 __vgic_v3_write_vmcr(cpu_if->vgic_vmcr); in __vgic_v3_restore_vmcr_aprs()885 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen0()897 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_igrpen1()924 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr0()944 __vgic_v3_write_vmcr(vmcr); in __vgic_v3_write_bpr1()