#ifndef HALTS_H
#define HALTS_H
#include <fs/vfs.h>
#include <sched/scheduler.h>
#include <typedefs.h>
int isset_fdhalt(process_t *p);
#endif