Searched refs:OsArmReadTtbr0 (Results 1 – 2 of 2) sorted by relevance
1103 oldTtPhyBase = OsArmReadTtbr0(); in OsKSectionNewAttrEnable()1120 OsArmWriteTtbr1(OsArmReadTtbr0()); in OsArchMmuInitPerCPU()
91 STATIC INLINE UINT32 OsArmReadTtbr0(VOID) in OsArmReadTtbr0() function