// Print to the given fd. Only understands %d, %x, %p, %s.
void
-printf(int fd, char *fmt, ...)
+printf(int fd, const char *fmt, ...)
{
char *s;
int c, i, state;
#include "x86.h"
char*
-strcpy(char *s, char *t)
+strcpy(char *s, const char *t)
{
char *os;
}
uint
-strlen(char *s)
+strlen(const char *s)
{
int n;
}
int
-stat(char *n, struct stat *st)
+stat(const char *n, struct stat *st)
{
int fd;
int r;
}
void*
-memmove(void *vdst, void *vsrc, int n)
+memmove(void *vdst, const void *vsrc, int n)
{
- char *dst, *src;
+ char *dst;
+ const char *src;
dst = vdst;
src = vsrc;
int exit(void) __attribute__((noreturn));
int wait(void);
int pipe(int*);
-int write(int, void*, int);
+int write(int, const void*, int);
int read(int, void*, int);
int close(int);
int kill(int);
int exec(char*, char**);
-int open(char*, int);
-int mknod(char*, short, short);
-int unlink(char*);
+int open(const char*, int);
+int mknod(const char*, short, short);
+int unlink(const char*);
int fstat(int fd, struct stat*);
-int link(char*, char*);
-int mkdir(char*);
-int chdir(char*);
+int link(const char*, const char*);
+int mkdir(const char*);
+int chdir(const char*);
int dup(int);
int getpid(void);
char* sbrk(int);
int uptime(void);
// ulib.c
-int stat(char*, struct stat*);
-char* strcpy(char*, char*);
-void *memmove(void*, void*, int);
+int stat(const char*, struct stat*);
+char* strcpy(char*, const char*);
+void *memmove(void*, const void*, int);
char* strchr(const char*, char c);
int strcmp(const char*, const char*);
-void printf(int, char*, ...);
+void printf(int, const char*, ...);
char* gets(char*, int max);
-uint strlen(char*);
+uint strlen(const char*);
void* memset(void*, int, uint);
void* malloc(uint);
void free(void*);