*(int*)UNCACHED_ADDR(0x1fff000) = 0xdeadbeef;
    *(int*)UNCACHED_ADDR(0x3fff000) = 0xfeedface;
    splashf(HZ*3, "%08x", *(int*)UNCACHED_ADDR(0x1fff000));
    if (*(unsigned int*)UNCACHED_ADDR(0x1fff000) == 0xfeedface)