gonzui


Format: Advanced Search

SearchGoogle itResults 1 - 1 of 1 for funcall:t_kernel_main (0.00 seconds)
tkernel_2
kernel/sysinit/src/sysinit_main.c - 3.0KB - 123 lines
119:         /* Start T-Kernel */
120:         t_kernel_main((T_CTSK *)&c_init_task); /* Never return */
121: