pgtable_free
static inline void pgtable_free(void *table, unsigned index_size)
static inline void pgtable_free(void *table, int shift)
static inline void pgtable_free(void *table, int index)
void pgtable_free(void *table, bool is_page)