//
// $Id$
//
// Description of the syscall server interface
//
#include <types.idl>
[uuid(IF_SYSCALL_ID)]
interface IF_SYSCALL {
exception syscall_error {};
/**
* Used to register a Thread as InterruptHandler
*/
void AssociateInterrupt ( in L4_ThreadId_t InterruptThread,
in L4_ThreadId_t InterruptHandler,
out L4_Word_t word );
/**
* Used to deregister the InterruptHandler Thread
*/
void DeassociateInterrupt ( in L4_ThreadId_t InterruptThread,
out L4_Word_t word);
/**
* Used by the pager to create new tasks
*/
void Sigma1ThreadControl(in L4_ThreadId_t dest,
in L4_ThreadId_t SpaceSpecifier,
in L4_ThreadId_t scheduler,
in L4_ThreadId_t pager,
in L4_Word_t utcblocation)
raises(syscall_error);
/**
* Used by the pager to configure new address spaces
*/
void Sigma1SpaceControl(in L4_ThreadId_t SpaceSpecifier,
in L4_Word_t control,
in L4_Fpage_t KIPArea,
in L4_Fpage_t UtcbArea,
in L4_ThreadId_t redirector)
raises(syscall_error);
/**
* More Syscalls to follow: ...
*/
};
