void _start(u32 paf_addr)
{
        int a = 0;
        int b = 0;
        for(;a<999;a++)
                b++;
        a--;
        b--;
        return;
}