x86pte_release_pagetable

113

static void x86pte_release_pagetable(htable_t *ht);

1645

x86pte_release_pagetable(ht);

2051

x86pte_release_pagetable(ht);

2139

x86pte_release_pagetable(ht);

2191

x86pte_release_pagetable(ht);

2263

x86pte_release_pagetable(ht);

2311

x86pte_release_pagetable(ht);

2367

x86pte_release_pagetable(dest);

2402

x86pte_release_pagetable(src);

2453

x86pte_release_pagetable(dest);