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