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

/linux-4.4.14/arch/x86/kernel/
H A Dtce_64.c39 /* flush a tce at 'tceaddr' to main memory */ flush_tce()
40 static inline void flush_tce(void* tceaddr) flush_tce() argument
44 clflush(tceaddr); flush_tce()

Completed in 79 milliseconds