Since we use vki_unistd.h, we can t include <unistd.h>. So we have to declare this ourselves.