diff --git a/headers/private/kernel/syscalls.h b/headers/private/kernel/syscalls.h
index 41238368cf..da9b936864 100644
--- a/headers/private/kernel/syscalls.h
+++ b/headers/private/kernel/syscalls.h
@@ -107,7 +107,7 @@ extern status_t		_kern_get_next_image_info(team_id team, int32 *cookie, image_in
 
 // VFS functions
 extern status_t		_kern_mount(const char *path, const char *device,
-						const char *fs_name, uint32 flags, void *args);
+						const char *fs_name, uint32 flags, const char *args);
 extern status_t		_kern_unmount(const char *path);
 extern status_t		_kern_read_fs_info(dev_t device, struct fs_info *info);
 extern status_t		_kern_write_fs_info(dev_t device, const struct fs_info *info, int mask);
diff --git a/headers/private/kernel/vfs.h b/headers/private/kernel/vfs.h
index bbf28597bc..9f6f40dfba 100755
--- a/headers/private/kernel/vfs.h
+++ b/headers/private/kernel/vfs.h
@@ -87,7 +87,7 @@ status_t vfs_normalize_path(const char *path, char *buffer, size_t bufferSize,
 
 /* calls the syscall dispatcher should use for user file I/O */
 status_t _user_mount(const char *path, const char *device, const char *fs_name,
-			uint32 flags, void *args);
+			uint32 flags, const char *args);
 status_t _user_unmount(const char *path);
 status_t _user_read_fs_info(dev_t device, struct fs_info *info);
 status_t _user_write_fs_info(dev_t device, const struct fs_info *info, int mask);