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