dat_free_level
dat_free_level(dereference_crste(crste), true);
dat_free_level(dereference_crste(table->crstes[i]), owns_ptes);
void dat_free_level(struct crst_table *table, bool owns_ptes);
dat_free_level(dereference_crste(crste), true);
dat_free_level(dereference_asce(gmap->asce), owns_page_tables(gmap));