Searched refs:VCPU (Results 1 – 4 of 4) sorted by relevance
81 VCPU, enumerator119 { "cpu", REQ_ARG, 0, VCPU }, in setup_options()150 [VCPU] = "vcpu_number", in usage()357 case VCPU: in main()
345 &pinctrl_adc2_default /* VCPU */
130 <0x0 0x780c0000 0x0 0x10000>, /* GIC VCPU Control */131 <0x0 0x780e0000 0x0 0x20000>; /* GIC VCPU */
110 <0x0 0x78040000 0x0 0x2000>, /* GIC VCPU Control */111 <0x0 0x78060000 0x0 0x2000>; /* GIC VCPU */