HelenOS sources

page_table_unlock   70 kernel/arch/amd64/src/mm/page.c 	page_table_unlock(AS_KERNEL, true);
page_table_unlock   77 kernel/arch/arm32/src/mm/page.c 	page_table_unlock(AS_KERNEL, true);
page_table_unlock   61 kernel/arch/arm64/src/mm/page.c 	page_table_unlock(AS_KERNEL, true);
page_table_unlock   74 kernel/arch/ia32/src/mm/page.c 	page_table_unlock(AS_KERNEL, true);
page_table_unlock   66 kernel/arch/riscv64/src/mm/page.c 		page_table_unlock(AS_KERNEL, true);
page_table_unlock   59 kernel/genarch/src/mm/as_ht.c 	.page_table_unlock = ht_unlock,
page_table_unlock   60 kernel/genarch/src/mm/as_pt.c 	.page_table_unlock = pt_unlock,
page_table_unlock  140 kernel/generic/include/mm/as.h 	void (*page_table_unlock)(as_t *, bool);
page_table_unlock   59 kernel/generic/include/mm/page.h extern void page_table_unlock(as_t *, bool);
page_table_unlock   92 kernel/generic/src/ipc/ops/pagein.c 		page_table_unlock(AS, true);
page_table_unlock 1046 kernel/generic/src/mm/as.c 		page_table_unlock(as, false);
page_table_unlock 1154 kernel/generic/src/mm/as.c 	page_table_unlock(as, false);
page_table_unlock 1453 kernel/generic/src/mm/as.c 	page_table_unlock(as, false);
page_table_unlock 1479 kernel/generic/src/mm/as.c 			page_table_unlock(as, false);
page_table_unlock 1566 kernel/generic/src/mm/as.c 			page_table_unlock(AS, false);
page_table_unlock 1578 kernel/generic/src/mm/as.c 		page_table_unlock(AS, false);
page_table_unlock 1584 kernel/generic/src/mm/as.c 	page_table_unlock(AS, false);
page_table_unlock 1806 kernel/generic/src/mm/as.c 	assert(as_operations->page_table_unlock);
page_table_unlock 1808 kernel/generic/src/mm/as.c 	as_operations->page_table_unlock(as, unlock);
page_table_unlock 1847 kernel/generic/src/mm/as.c 	page_table_unlock(AS, true);
page_table_unlock  144 kernel/generic/src/mm/backend_anon.c 			page_table_unlock(area->as, false);
page_table_unlock  216 kernel/generic/src/mm/backend_elf.c 			page_table_unlock(area->as, false);
page_table_unlock  153 kernel/generic/src/mm/km.c 	page_table_unlock(AS_KERNEL, true);
page_table_unlock  178 kernel/generic/src/mm/km.c 	page_table_unlock(AS_KERNEL, true);
page_table_unlock  233 kernel/generic/src/mm/km.c 	page_table_unlock(AS_KERNEL, true);
page_table_unlock  199 kernel/generic/src/mm/page.c 		page_table_unlock(AS, true);
page_table_unlock  206 kernel/generic/src/mm/page.c 	page_table_unlock(AS, true);