Searched defs:ttb (Results 1 – 1 of 1) sorted by relevance
2481 __STATIC_INLINE void MMU_TTSection(uint32_t *ttb, uint32_t base_address, uint32_t count, uint32_t d… in MMU_TTSection()2511 __STATIC_INLINE void MMU_TTPage4k(uint32_t *ttb, uint32_t base_address, uint32_t count, uint32_t de… in MMU_TTPage4k()2547 __STATIC_INLINE void MMU_TTPage64k(uint32_t *ttb, uint32_t base_address, uint32_t count, uint32_t d… in MMU_TTPage64k()