Searched refs:clflush_write32 (Results 1 – 1 of 1) sorted by relevance
1368 static void clflush_write32(u32 *addr, u32 value, unsigned int flushes) in clflush_write32() function1407 clflush_write32(vaddr + offset_in_page(offset), in relocate_entry()