Searched refs:pteval (Results 1 – 2 of 2) sorted by relevance
1610 uint64_t eptp, bm, addr, u64, pteval[4], *pte, info[2]; in main() local2101 error = vm_get_gpa_pmap(ctx, gpa_pmap, pteval, &ptenum); in main()2104 pte = &pteval[0]; in main()
1075 pt_entry_t pteval; in pmap_extract() local1087 pteval = *pte ? xpmap_mtop(*pte) : 0; in pmap_extract()1088 rtval = (pteval & PG_FRAME) | (va & PAGE_MASK); in pmap_extract()