Searched refs:test_data_page_gva (Results 1 – 1 of 1) sorted by relevance
396 gva_t test_data_page_gva; in main() local417 test_data_page_gva = vm_alloc_page(vm); in main()418 data = addr_gva2hva(vm, test_data_page_gva); in main()423 vcpu_args_set(params[0].vcpu, 1, test_data_page_gva); in main()424 vcpu_args_set(params[1].vcpu, 1, test_data_page_gva); in main()