--- Comment #1 from YllierDev <ruediger.rill@???> 2012-05-02 02:21:11 --- after talking to some friends, sys_icache_invalidate(void *start, size_t len) which is defined in <libkern/OSCacheControl.h> can be used instead of my asm code