_kern_getcwd
_kern_getcwd(char* buffer, size_t size)
void _kern_getcwd() {}
_kern_getcwd(char *buffer, fssh_size_t size)