pgtable_free
pgtable_free(table, shift);
pgtable_free(table, shift);
return pgtable_free(table, index);
pgtable_free(table, is_page);
void pgtable_free(void *table, bool is_page);
pgtable_free(table, is_page);