Searched refs:OsArmWriteTtbr0 (Results 1 – 2 of 2) sorted by relevance
944 OsArmWriteTtbr0(ttbr); in LOS_ArchMmuContextSwitch()995 OsArmWriteTtbr0(kSpace->archMmu.physTtb | MMU_TTBRx_FLAGS); in OsSwitchTmpTTB()1105 OsArmWriteTtbr0(kSpace->archMmu.physTtb | MMU_TTBRx_FLAGS); in OsKSectionNewAttrEnable()1124 OsArmWriteTtbr0(0); in OsArchMmuInitPerCPU()
98 STATIC INLINE VOID OsArmWriteTtbr0(UINT32 val) in OsArmWriteTtbr0() function