Searched refs:OsGetPte1Index (Results 1 – 2 of 2) sorted by relevance
62 STATIC INLINE UINT32 OsGetPte1Index(vaddr_t va) in OsGetPte1Index() function74 return (PhysTtb + (OsGetPte1Index(va) * sizeof(PADDR_T))); in OsGetPte1Paddr()79 return (pte1BasePtr + OsGetPte1Index(va)); in OsGetPte1Ptr()
302 l1Index = OsGetPte1Index(vaddr); in OsTryUnmapL1PTE()744 … if (OsGetL2Table(mmuMapInfo->archMmu, OsGetPte1Index(*mmuMapInfo->vaddr), &pte2Base) != LOS_OK) { in OsMapL1PTE()