Searched refs:receiver_code (Results 1 – 1 of 1) sorted by relevance
54 static void receiver_code(void *hcall_page, vm_vaddr_t pgs_gpa) in receiver_code() function 260 vcpu[1] = vm_vcpu_add(vm, RECEIVER_VCPU_ID_1, receiver_code); in main() 265 vcpu[2] = vm_vcpu_add(vm, RECEIVER_VCPU_ID_2, receiver_code); in main()