Searched refs:gic_vmcr_write (Results 1 – 1 of 1) sorted by relevance
1885 static void gic_vmcr_write(GICState *s, uint32_t value, MemTxAttrs attrs) in gic_vmcr_write() function1986 gic_vmcr_write(s, value, attrs); in gic_hyp_write()