tiny6410的处理器编号是多少啊？

void boot_linux()
{



    ...
   .....
   .........
   // 启动Linux系统
    theKernel(0, 处理器编号, SDRAM_TAGS_START);
}