qemu/hw/intc/+code=gic_get_current_vcpu
<<
>>
Prefs
Node not found: hw/intc/+code=gic_get_current_vcpu (v4.0.1)