Searched refs:cacheline_addr (Results 1 – 1 of 1) sorted by relevance
1015 unsigned char *cacheline_addr; in cache_flush_page_phys() local1030 for (cacheline_addr = (unsigned char *)PHYSMAP_PTOV(i386_ptob(pa)); in cache_flush_page_phys()1032 cachelines_to_flush--, cacheline_addr += cacheline_size) { in cache_flush_page_phys()1033 __clflush((void *) cacheline_addr); in cache_flush_page_phys()