#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

#include <hash.h>
#include "threads/synch.h"

#define MIN_USER_FD 2

typedef int pid_t;

struct lock filesys_lock;

void syscall_init (void);

unsigned fd_hash (const struct hash_elem *element, void *aux);
bool fd_less (const struct hash_elem *a, const struct hash_elem *b, void *aux);

#endif /* userprog/syscall.h */
