int main( int argc, char *argv[] ) {
	int coreid = getCoreId();
    if( coreid == 0 ) {
        return core0();
    } else if( coreid == 1 ) {
        return core1();
    }
    return 0;
}
Esempio n. 2
0
Void tsk0_func(UArg arg0, UArg arg1) {

	switch (MultiProc_self()) {
#ifdef CORE0
	case 0:
		core0();
		break;
#endif

#ifdef CORE1
	case 1:
		core1();
		break;
#endif

#ifdef CORE2
	case 2:
		core2();
		break;
#endif

#ifdef CORE3
	case 3:
		core3();
		break;
#endif

#ifdef CORE4
	case 4:
		core4();
		break;
#endif

#ifdef CORE5
	case 5:
		core5();
		break;
#endif

#ifdef CORE6
	case 6:
		core6();
		break;
#endif

#ifdef CORE7
	case 7:
		core7();
		break;
#endif
	default:
		communicationInit();
		while (1) {
			busy_barrier();
		}
		//break;
	}

	System_printf("The test is complete\n");
	BIOS_exit(0);
}