/* swi.h */

#ifndef _swi_h
#define _swi_h

#include "kernel.h"

_kernel_oserror * swi_despatch( int swi, _kernel_swi_regs *r );

#endif
