예제 #1
0
파일: proc-l4.c 프로젝트: Ksys-labs/l4linux 
void  __attribute__((noreturn)) cpu_reset(unsigned long addr)
{
	printk("%s called.\n", __func__);
	l4x_exit_l4linux();
	while (1)
		;
}
예제 #2
0
파일: l4.c 프로젝트: soap-DEIM/l4android 
static inline void l4x_stop(char mode, const char *cmd)
{
	local_irq_disable();
	l4x_exit_l4linux();
}