#ifndef USERPROG_ADDRSPACE_H
#define USERPROG_ADDRSPACE_H
-#include <stdbool.h>
+#include "threads/thread.h"
-struct thread;
-bool addrspace_load (struct thread *, const char *,
- void (**eip) (void), void **esp);
+tid_t addrspace_execute (const char *filename);
void addrspace_destroy (struct thread *);
-void addrspace_activate (struct thread *);
+void addrspace_activate (void);
#endif /* userprog/addrspace.h */