Searched refs:guest_bsp_vcpu (Results 1 – 1 of 1) sorted by relevance
23 static void guest_bsp_vcpu(void *arg) in guest_bsp_vcpu() function102 vm_vcpu_add_default(vm, vcpuid, guest_bsp_vcpu); in add_x86_vcpu()
