rumpk/rootfs/src/libnexus.h

21 lines
384 B
C

#ifndef LIBNEXUS_H
#define LIBNEXUS_H
#include <stdint.h>
#include <stddef.h>
typedef uint32_t uint32;
typedef uint64_t uint64;
// POSIX-ish stubs provided by libc_shim.zig
extern int write(int fd, const void *buf, size_t count);
extern void exit(int status);
static inline void print(const char *s) {
size_t len = 0;
while (s[len]) len++;
write(1, s, len);
}
#endif