Searched refs:tsc_page_gva (Results 1 – 1 of 1) sorted by relevance
211 vm_vaddr_t tsc_page_gva; in main() local218 tsc_page_gva = vm_vaddr_alloc_page(vm); in main()219 memset(addr_gva2hva(vm, tsc_page_gva), 0x0, getpagesize()); in main()220 TEST_ASSERT((addr_gva2gpa(vm, tsc_page_gva) & (getpagesize() - 1)) == 0, in main()222 vcpu_args_set(vcpu, 2, tsc_page_gva, addr_gva2gpa(vm, tsc_page_gva)); in main()