Searched refs:gic_set_priority_mask (Results 1 – 1 of 1) sorted by relevance
697 static void gic_set_priority_mask(GICState *s, int cpu, uint8_t pmask, in gic_set_priority_mask() function1721 gic_set_priority_mask(s, cpu, value, attrs); in gic_cpu_write()1901 gic_set_priority_mask(s, vcpu, prio_mask, attrs); in gic_vmcr_write()