Searched refs:VCPU_ID_SOURCE (Results 1 – 1 of 1) sorted by relevance
20 #define VCPU_ID_SOURCE 0 macro86 aarch64_vcpu_add_default(vm, VCPU_ID_SOURCE, &init, guest_main); in main()95 vcpu_args_set(vm, VCPU_ID_SOURCE, 1, target_mpidr & MPIDR_HWID_BITMASK); in main()96 vcpu_run(vm, VCPU_ID_SOURCE); in main()98 switch (get_ucall(vm, VCPU_ID_SOURCE, &uc)) { in main()
