pgtable_dtor
sizeof (pgtable_t), 0, pgtable_ctor, pgtable_dtor, NULL, immu,
void pgtable_dtor(void *buf, void *arg);