* created prototype for cpu_switch_context_exit()