syscalls.h File Reference

L4 System calls (except for IPC). More...

#include <l4/sys/syscalls_gen.h>
#include <l4/sys/syscalls-impl.h>

Go to the source code of this file.

Defines

#define L4_SYSCALL_id_nearest   "int $0x31 \n\t"

id_nearest syscall entry

#define L4_SYSCALL_fpage_unmap   "int $0x32 \n\t"

fpage_unmap syscall entry

#define L4_SYSCALL_thread_switch   "int $0x33 \n\t"

thread_switch syscall entry

#define L4_SYSCALL_thread_schedule   "int $0x34 \n\t"

thread_schedule syscall entry

#define L4_SYSCALL_lthread_ex_regs   "int $0x35 \n\t"

lthread_ex_regs syscall entry

#define L4_SYSCALL_task_new   "int $0x36 \n\t"

task_new syscall entry

#define L4_SYSCALL_privctrl   "int $0x37 \n\t"

privctrl syscall entry

#define L4_SYSCALL(name)   L4_SYSCALL_ ## name

syscall entry

#define GCC_VERSION   (__GNUC__ * 100 + __GNUC_MINOR__)

GCC version as one figure (e.g. 402 for gcc-4.2).

Functions

void * l4_kernel_interface (void)

Return pointer to Kernel Interface Page.

Detailed Description

L4 System calls (except for IPC).


Defines
#define	L4_SYSCALL_id_nearest "int $0x31 \n\t"
	id_nearest syscall entry
#define	L4_SYSCALL_fpage_unmap "int $0x32 \n\t"
	fpage_unmap syscall entry
#define	L4_SYSCALL_thread_switch "int $0x33 \n\t"
	thread_switch syscall entry
#define	L4_SYSCALL_thread_schedule "int $0x34 \n\t"
	thread_schedule syscall entry
#define	L4_SYSCALL_lthread_ex_regs "int $0x35 \n\t"
	lthread_ex_regs syscall entry
#define	L4_SYSCALL_task_new "int $0x36 \n\t"
	task_new syscall entry
#define	L4_SYSCALL_privctrl "int $0x37 \n\t"
	privctrl syscall entry
#define	L4_SYSCALL(name) L4_SYSCALL_ ## name
	syscall entry
#define	GCC_VERSION (__GNUC__ * 100 + __GNUC_MINOR__)
	GCC version as one figure (e.g. 402 for gcc-4.2).
Functions
void *	l4_kernel_interface (void)
	Return pointer to Kernel Interface Page.