add: PRINT(("user_setcwd: path = %p\n", upath));
context: user_setcwd(const char* upath){	char path[SYS_MAX_PATH_LEN];	int rc;#if MAKE_NOIZE	dprintf("user_setcwd: path=0x%x\n", upath);#endif	// Check if userspace address is inside "shared" kernel space	if((addr)upath >= KERNEL_BASE && (addr)upath <= KERNEL_TOP)		return ERR_VM_BAD_USER_MEMORY;	// Copy new path to kernel space	rc = user_strncpy(path, upath, SYS_MAX_PATH_LEN-1);	if (rc < 0) {		return rc;	}	path[SYS_MAX_PATH_LEN-1] = 0;	// Call vfs to set new working directory	return vfs_set_cwd(path,false);}