Standard headers and uk headers should not be mixed.
Signed-off-by: Marc Rittinghaus <marc.rittinghaus@unikraft.io>
Reviewed-by: Razvan Deaconescu <razvand@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #855
#include <stdio.h>
#include <unistd.h>
#include <errno.h>
-#include <uk/assert.h>
#include <string.h>
#include <vfscore/prex.h>
#include <vfscore/uio.h>
#include <uk/essentials.h>
#include <uk/mutex.h>
+#include <uk/assert.h>
#include <devfs/device.h>
static struct uk_mutex devfs_lock = UK_MUTEX_INITIALIZER(devfs_lock);
-/* list head of the devices */
+/* List head of the devices */
static struct device *device_list;
/*