Searched defs:pte1BasePtr (Results 1 – 1 of 1) sorted by relevance
77 STATIC INLINE PTE_T *OsGetPte1Ptr(PTE_T *pte1BasePtr, vaddr_t va) in OsGetPte1Ptr()82 STATIC INLINE PTE_T OsGetPte1(PTE_T *pte1BasePtr, vaddr_t va) in OsGetPte1()