Searched refs:OsArmReadTtbcr (Results 1 – 2 of 2) sorted by relevance
117 STATIC INLINE UINT32 OsArmReadTtbcr(VOID) in OsArmReadTtbcr() function
928 UINT32 ttbcr = OsArmReadTtbcr(); in LOS_ArchMmuContextSwitch()