void check_prepassegment_md(NODE *np);
void check_prepasstate_md(NODE *np);
void check_prepasdomain_md(struct DIB *dib);
void check_memory_map(void);
void scan_mapping_tables_for_page(CTE *cte);
void check_page_maps(CTE*);