Searched refs:ptenum (Results 1 – 3 of 3) sorted by relevance
204 int ptenum; member
1736 int error, ch, vcpuid, ptenum; in main() local2231 error = vm_get_gpa_pmap(ctx, gpa_pmap, pteval, &ptenum); in main()2235 while (ptenum-- > 0) in main()
1743 *num = gpapte.ptenum; in vm_get_gpa_pmap()1744 for (i = 0; i < gpapte.ptenum; i++) in vm_get_gpa_pmap()