coreinit.rpl is the the system library that provides direct access to Cafe OS services. It provides kernel calls, thread scheduling, memory management, and filesystem services. coreinit is the first RPL loaded by the loader, even before the main executable itself.
Functions
Cache
| Name
|
Prototype
|
Description
|
| DCFlushRange
|
void DCFlushRange(void *addr, size_t length);
|
Flush the specified data cache blocks to memory
|
| DCInvalidateRange
|
void DCInvalidateRange(void *addr, size_t length);
|
Invalidate the specified data cache blocks
|
| ICInvalidateRange
|
void ICInvalidateRange(void *addr, size_t length);
|
Invalidate the specified instruction cache blocks
|
Dynamic Linking
| Name
|
Prototype
|
Description
|
| OSDynLoad_Acquire
|
void OSDynLoad_Acquire(const char *rplname, uint32_t *handle);
|
Acquire a handle to an RPL by name
|
| OSDynLoad_FindExport
|
void OSDynLoad_FindExport(uint32_t handle, bool isdata, const char *symname, void **address);
|
Get a symbol address from a loaded RPL
|
Error
| Name
|
Prototype
|
Description
|
| OSFatal
|
void OSFatal(const char *msg);
|
Print a message to the screen and halt the system
|
Internal
| Name
|
Prototype
|
Description
|
| __os_snprintf
|
int __os_snprintf(char *buf, size_t n, const char *format, ... );
|
Format a string and place it in a buffer (just like snprintf())
|
Threads
| Name
|
Prototype
|
Description
|
| OSCreateThread
|
bool OSCreateThread(OSThread *thread, void (*entry)(int,void*), int argc, void *args, void *stack, size_t stack_size, int32_t priority, int16_t affinity);
|
Create a (initially-paused) thread that starts at the specified entry point
|
| OSResumeThread
|
void OSResumeThread(OSThread *thread);
|
Resume a paused thread, causing it to be scheduled
|
| OSYieldThread
|
void OSYieldThread();
|
Yield control of the CPU, allowing another thread to run
|