Searched refs:gic_get_current_vcpu (Results 1 – 1 of 1) sorted by relevance
67 static inline int gic_get_current_vcpu(GICState *s) in gic_get_current_vcpu() function1845 return gic_cpu_read(s, gic_get_current_vcpu(s), addr, data, attrs); in gic_thisvcpu_read()1854 return gic_cpu_write(s, gic_get_current_vcpu(s), addr, value, attrs); in gic_thisvcpu_write()1887 int vcpu = gic_get_current_vcpu(s); in gic_vmcr_write()