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();
}