Searched defs:vpage (Results 1 – 2 of 2) sorted by relevance
430 void *vpage = alloc_vpage(); in test_vmread_vmwrite_pf() local
3187 void *vpage = alloc_vpage(); in invvpid_test_pf() local