1 #ifndef HEADER_ADDRSPACE_H
2 #define HEADER_ADDRSPACE_H 1
12 bool addrspace_load (struct addrspace *, const char *, void (**start) (void));
13 void addrspace_destroy (struct addrspace *);
15 void addrspace_activate (struct addrspace *);
17 #endif /* addrspace.h */