1#include "vspace_dump.h"
2
3int main(int argc, char *argv[]) {
4
5    dump_my_vregions();
6
7    dump_page_tables();
8}
9