C++ (Cpp) device_pager_init Exemples

Exemple #1

Fichier : device_init.c Projet : openmach/openmach

void
device_service_create()
{
	master_device_port = ipc_port_alloc_kernel();
	if (master_device_port == IP_NULL)
	    panic("can't allocate master device port");

	ds_init();
	dev_lookup_init();
	net_io_init();
	device_pager_init();
	chario_init();
#ifdef FIPC
	fipc_init();
#endif

	(void) kernel_thread(kernel_task, io_done_thread, 0);
	(void) kernel_thread(kernel_task, net_thread, 0);
}

Exemple #2

Fichier : device_init.c Projet : rohsaini/mkunity

void
device_service_create(void)
{
	master_device_port = ipc_port_alloc_kernel();
	if (master_device_port == IP_NULL)
	    panic("can't allocate master device port");

	ipc_kobject_set(master_device_port, 1, IKOT_MASTER_DEVICE);
	ds_init();
	net_io_init();
	device_pager_init();
	datadev_init();

	(void) kernel_thread(kernel_task, io_done_thread, (char *)0);
	(void) kernel_thread(kernel_task, net_thread, (char *)0);
#if	XKMACHKERNEL && !DIPC_XKERN
	/*
	 * Initialize the x-kernel
	 */
	(void) kernel_thread(kernel_task, xkInit, (char *)0);
#endif	/* XKMACHKERNEL && !DIPC_XKERN */
}