NR_VCPUS
.size = NR_VCPUS * 0x20000,
addr = REDIST_REGION_ATTR_ADDR(NR_VCPUS, 0x100000, 0, 0);
addr = REDIST_REGION_ATTR_ADDR(NR_VCPUS, 0x100000, 2, 0);
struct kvm_vcpu *vcpus[NR_VCPUS];
for (i = 1; i < NR_VCPUS; ++i)
struct kvm_vcpu *vcpus[NR_VCPUS];
v = vm_gic_create_with_vcpus(gic_dev_type, NR_VCPUS, vcpus);
struct kvm_vcpu *vcpus[NR_VCPUS];
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
v.vm = vm_create(NR_VCPUS);
for (i = 0; i < NR_VCPUS ; i++) {
struct kvm_vcpu *vcpus[NR_VCPUS];
for (i = 1; i < NR_VCPUS; ++i)
struct kvm_vcpu *vcpus[NR_VCPUS];
v = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
struct kvm_vcpu *vcpus[NR_VCPUS];
vm = vm_gic_create_with_vcpus(KVM_DEV_TYPE_ARM_VGIC_V3, NR_VCPUS, vcpus);
struct kvm_vcpu *vcpus[NR_VCPUS];
v.vm = vm_create_with_vcpus(NR_VCPUS, guest_code, vcpus);
static vm_paddr_t st_gpa[NR_VCPUS];
static void *st_gva[NR_VCPUS];
static uint64_t guest_stolen_time[NR_VCPUS];
struct kvm_vcpu *vcpus[NR_VCPUS];
vm = vm_create_with_vcpus(NR_VCPUS, guest_code, vcpus);
gpages = vm_calc_num_guest_pages(VM_MODE_DEFAULT, STEAL_TIME_SIZE * NR_VCPUS);
ksft_set_plan(NR_VCPUS);
for (i = 0; i < NR_VCPUS; ++i) {
static void vcpus_run(struct kvm_vcpu **vcpus, const int NR_VCPUS)
for (i = 0; i < NR_VCPUS; i++)
const int NR_VCPUS = 3;
struct kvm_vcpu *vcpus[NR_VCPUS];
vm = vm_create_with_vcpus(NR_VCPUS, guest_main, vcpus);
for (i = 0; i < NR_VCPUS; i++)
vcpus_run(vcpus, NR_VCPUS);
vcpus_run(vcpus, NR_VCPUS);
const uint32_t NR_VCPUS = 3;
struct kvm_vcpu *vcpus[NR_VCPUS];
vm = vm_create_with_vcpus(NR_VCPUS, NULL, vcpus);
for (i = 0; i < NR_VCPUS; i++) {