Searched refs:test_data_page_vaddr (Results 1 – 1 of 1) sorted by relevance
405 vm_vaddr_t test_data_page_vaddr; in main() local430 test_data_page_vaddr = vm_vaddr_alloc_page(vm); in main()432 (struct test_data_page *)addr_gva2hva(vm, test_data_page_vaddr); in main()437 vcpu_args_set(vm, HALTER_VCPU_ID, 1, test_data_page_vaddr); in main()438 vcpu_args_set(vm, SENDER_VCPU_ID, 1, test_data_page_vaddr); in main()
