Esempi in C++ (Cpp) per l4x_exit_l4linux

Esempio n. 1

File: proc-l4.c Progetto: Ksys-labs/l4linux

void  __attribute__((noreturn)) cpu_reset(unsigned long addr)
{
	printk("%s called.\n", __func__);
	l4x_exit_l4linux();
	while (1)
		;
}

Esempio n. 2

File: l4.c Progetto: soap-DEIM/l4android

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