gonzui

tkernel_2

kernel/sysinit/src/sysstartup.c - 4.8KB - 197 lines

191:                 /* Re-start sequence (platform dependent) */
192:                 restart_device(fin);
193:         }