Searched refs:guest_code_initial (Results 1 – 1 of 1) sorted by relevance
25 static void guest_code_initial(void) in guest_code_initial() function211 *vcpu = vm_vcpu_add(vm, ARBITRARY_NON_ZERO_VCPU_ID, guest_code_initial); in create_vm()