__cpuc_flush_user_range
extern void __cpuc_flush_user_range(unsigned long, unsigned long, unsigned int);
__cpuc_flush_user_range(start & PAGE_MASK, PAGE_ALIGN(end),
__cpuc_flush_user_range(addr, addr + nr * PAGE_SIZE,
EXPORT_SYMBOL(__cpuc_flush_user_range);