Home
last modified time | relevance | path

Searched refs:VCPU (Results 1 – 3 of 3) sorted by relevance

/freebsd-12.1/sys/gnu/dts/arm64/apm/
H A Dapm-shadowcat.dtsi126 <0x0 0x780c0000 0x0 0x10000>, /* GIC VCPU Control */
127 <0x0 0x780e0000 0x0 0x20000>; /* GIC VCPU */
H A Dapm-storm.dtsi106 <0x0 0x78040000 0x0 0x2000>, /* GIC VCPU Control */
107 <0x0 0x78060000 0x0 0x2000>; /* GIC VCPU */
/freebsd-12.1/usr.sbin/bhyvectl/
H A Dbhyvectl.c555 VCPU, enumerator
1333 { "cpu", REQ_ARG, 0, VCPU }, in setup_options()
1711 case VCPU: in main()