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