uint32_t *pagedir;
};
-bool addrspace_load (struct addrspace *, const char *);
+bool addrspace_load (struct addrspace *, const char *, void (**start) (void));
void addrspace_destroy (struct addrspace *);
+void addrspace_activate (struct addrspace *);
+
#endif /* addrspace.h */