ARM d-cache

cache.c

#include <stdio.h>

unsigned char shellcode[] = {
        0x4f, 0xf0, 0x00, 0x00,
        0xf0, 0x47,
};

int main()
{
        shellcode[2] = 0x01;
//      __clear_cache( &shellcode[2], &shellcode[2] );
        printf( "%d\n", ((int(*)())(shellcode+1))() );
        return 0;
}