Searched refs:OsArmWriteTtbr1 (Results 1 – 2 of 2) sorted by relevance
111 STATIC INLINE VOID OsArmWriteTtbr1(UINT32 val) in OsArmWriteTtbr1() function
1120 OsArmWriteTtbr1(OsArmReadTtbr0()); in OsArchMmuInitPerCPU()