#ifndef ULIB_SYSTEM_SYSTEM_H_ #define ULIB_SYSTEM_SYSTEM_H_ #include void debugprint(const char *string); int32_t processctl(uint64_t pid, uint64_t cmd, void *extra); int32_t ioctl(uint64_t ioh, uint64_t cmd, void *extra); #endif // ULIB_SYSTEM_SYSTEM_H_