C++ (Cpp) l4x_exit_l4linux示例

示例#1

文件： 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

文件： l4.c 项目： soap-DEIM/l4android

static inline void l4x_stop(char mode, const char *cmd)
{
	local_irq_disable();
	l4x_exit_l4linux();
}