db_print_dtlb_entry
void db_print_dtlb_entry(int entry, int i, int endc);
db_print_dtlb_entry(i, i, (i&1)?'\n':' ');
db_print_dtlb_entry(i+16384, i, (i&1)?'\n':' ');