flush_icache_user_page
flush_icache_user_page(struct vm_area_struct *vma, struct page *page,
#define flush_icache_user_page flush_icache_user_page
#define flush_icache_user_page flush_icache_user_page
flush_icache_user_page(struct vm_area_struct *vma, struct page *page,
#define flush_icache_user_page(vma, page, addr, len) do { } while (0)
void flush_icache_user_page(struct vm_area_struct *vma, struct page *page,
#define flush_icache_user_page(vma, page, addr, len) \
#define flush_icache_user_page flush_icache_user_page
void flush_icache_user_page(struct vm_area_struct *vma, struct page *page,
#define flush_icache_user_page(vma, pg, addr, len) \
static inline void flush_icache_user_page(struct vm_area_struct *vma,