__invalidate_icache_page_alias
static inline void __invalidate_icache_page_alias(unsigned long virt,
ENTRY(__invalidate_icache_page_alias)