Searched refs:OsArmWriteTtbcr (Results 1 – 2 of 2) sorted by relevance
946 OsArmWriteTtbcr(ttbcr); in LOS_ArchMmuContextSwitch()1122 OsArmWriteTtbcr(ttbcr); in OsArchMmuInitPerCPU()
124 STATIC INLINE VOID OsArmWriteTtbcr(UINT32 val) in OsArmWriteTtbcr() function