Searched refs:PutUxpteAt (Results 1 – 1 of 1) sorted by relevance
140 static void PutUxpteAt(UxPageTableStruct *upt, uint64_t addr);340 static void PutUxpteAt(UxPageTableStruct *upt, uint64_t addr) in PutUxpteAt() function396 PutUxpteAt(upt, off); in UxpteOps()