Barrelfish
|
User-side system call implementation, architecture-independent. More...
Functions | |
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... | |
User-side system call implementation, architecture-independent.
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.
string | Pointer to string to print. |
length | Length of string. |
errval_t sys_suspend | ( | bool | halt | ) |
Suspend the current cpu
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.
target | Dispatcher to yield to, or CPTR_NULL for an undirected yield |