syscalls.h File Reference

User-side system call wrappers. More...

Functions
__BEGIN_DECLS errval_t	sys_yield (capaddr_t target)
	Yield the CPU. More...
errval_t	sys_suspend (bool halt)
errval_t	sys_print (const char *string, size_t length)
	Print a string through the kernel. More...
uint64_t	sys_get_absolute_time (void)
	get time elapsed (in milliseconds) since system boot.

Detailed Description

User-side system call wrappers.

Function Documentation

errval_t sys_print	(	const char *	string,
		size_t	length
	)

Print a string through the kernel.

This calls SYSCALL_PRINT to print 'string' of length 'length' through the kernel. Whether and where 'string' is printed is determined by the kernel.

Parameters

string	Pointer to string to print.
length	Length of string.

Returns

Syscall error code (#SYS_ERR_OK on success).

errval_t sys_suspend

(

bool

halt

)

Suspend the current cpu

__BEGIN_DECLS errval_t sys_yield

(

capaddr_t

target

)

Yield the CPU.

Yields the remainder of the time-slice for this dispatcher to the next runnable dispatcher.

Parameters

target

Dispatcher to yield to, or CPTR_NULL for an undirected yield

Returns

Syscall error code (#SYS_ERR_OK on success).