9 #include "../kernel/event.h"
10 #include "../sf/service.h"
Result insrGetReadableEvent(u32 id, Event *out)
Retrieves the event corresponding to the ID.
Result inssGetWritableEvent(u32 id, Event *out)
Retrieves the event corresponding to the ID.
Service * insrGetServiceSession(void)
Gets the Service object for the actual ins:r service session.
Result insrInitialize(void)
Initialize ins:r.
Result insrGetLastTick(u32 id, u64 *tick)
Retrieves the last system tick the event corresponding to the ID was signaled at.
void inssExit(void)
Exit ins:s.
Service * inssGetServiceSession(void)
Gets the Service object for the actual ins:s service session.
Result inssInitialize(void)
Initialize ins:s.
void insrExit(void)
Exit ins:r.
Kernel-mode event structure.
Definition: event.h:13
Service object structure.
Definition: service.h:14
uint64_t u64
64-bit unsigned integer.
Definition: types.h:22
u32 Result
Function error code result type.
Definition: types.h:44
uint32_t u32
32-bit unsigned integer.
Definition: types.h:21