Searched refs:gic_set_cpu_control (Results 1 – 1 of 1) sorted by relevance
743 static void gic_set_cpu_control(GICState *s, int cpu, uint32_t value, in gic_set_cpu_control() function1718 gic_set_cpu_control(s, cpu, value, attrs); in gic_cpu_write()1898 gic_set_cpu_control(s, vcpu, ctlr, attrs); in gic_vmcr_write()