Searched refs:clflush_write32 (Results 1 – 1 of 1) sorted by relevance
335 clflush_write32(void *addr, uint32_t value) in clflush_write32() function360 clflush_write32(vaddr + page_offset, lower_32_bits(delta)); in relocate_entry_clflush()371 clflush_write32(vaddr + page_offset, upper_32_bits(delta)); in relocate_entry_clflush()