#ifndef SERVICE_H #define SERVICE_H #include <memory.h> #include <syscall.h> #include <util.h> typedef struct { PagingInfo pagingInfo; char *name; ListElement *providers; ListElement *events; } Service; // the name is subject to change typedef struct { char *name; void *address; Service *service; } Provider; typedef struct { char *name; ListElement *subscriptions; } Event; extern Service *loadElf(void *fileData, char *serviceName); extern void resume(Syscall *syscall); extern void *runEnd; extern Service *findService(char *); extern Provider *findProvider(Service *, char *); extern Service *currentService; extern void scheduleProvider(Provider *provider, void *data, uint32_t dataLength, Syscall *respondingTo); #endif