Searched refs:OsArmWriteTlbimvaa (Results 1 – 2 of 2) sorted by relevance
64 OsArmWriteTlbimvaa(va & 0xfffff000); in OsArmInvalidateTlbMvaNoBarrier()
657 STATIC INLINE VOID OsArmWriteTlbimvaa(UINT32 val) in OsArmWriteTlbimvaa() function