Searched refs:__tlb_write_index (Results 1 – 1 of 1) sorted by relevance
124 static inline int __tlb_write_index(uint32_t tlbi, in __tlb_write_index() function267 __tlb_write_index(tlbi, 0xffffffff80000000ULL, 0, 0, 0); in cvmx_tlb_free_runtime_entry()308 __tlb_write_index(index, hi, lo0, lo1, pagemask); in cvmx_tlb_write_entry()