Home
last modified time | relevance | path

Searched refs:tceaddr (Results 1 – 1 of 1) sorted by relevance

/arch/x86/kernel/
Dtce_64.c27 static inline void flush_tce(void* tceaddr) in flush_tce() argument
31 clflush(tceaddr); in flush_tce()