Searched refs:__tlb_write_index (Results 1 - 1 of 1) sorted by relevance

/freebsd-10-stable/sys/contrib/octeon-sdk/
H A Dcvmx-tlb.c124 static inline int __tlb_write_index(uint32_t tlbi, function
267 __tlb_write_index(tlbi, 0xffffffff80000000ULL, 0, 0, 0);
308 __tlb_write_index(index, hi, lo0, lo1, pagemask);

Completed in 62 milliseconds