1#ifndef __PAGER_H 2#define __PAGER_H 3 4#include <sys/cdefs.h> 5 6#include <barrelfish/barrelfish.h> 7#include <barrelfish/except.h> 8 9__BEGIN_DECLS 10 11errval_t pager_install_handler(char *ex_stack, size_t stack_size); 12 13__END_DECLS 14 15#endif // __PAGER_H 16