Searched refs:VCPU (Results 1 – 3 of 3) sorted by relevance
122 <0x0 0x780c0000 0x0 0x10000>, /* GIC VCPU Control */123 <0x0 0x780e0000 0x0 0x20000>; /* GIC VCPU */
102 <0x0 0x78040000 0x0 0x2000>, /* GIC VCPU Control */103 <0x0 0x78060000 0x0 0x2000>; /* GIC VCPU */
554 VCPU, enumerator1336 { "cpu", REQ_ARG, 0, VCPU }, in setup_options()1793 case VCPU: in main()