/* module.h */

#ifndef __module_h
#define __module_h

#include "kernel.h"

void User_service(int nService, _kernel_swi_regs *regs, void *ws);
_kernel_oserror *User_initialise(char *cmd, int pod, void *ws);

#endif
