cfe_linux_exit
smp_call_function(cfe_linux_exit, arg, 0);
cfe_linux_exit((void *)&zero);
cfe_linux_exit((void *)&one);