HelenOS sources

page_table_lock    61 kernel/arch/amd64/src/mm/page.c 	page_table_lock(AS_KERNEL, true);
page_table_lock    57 kernel/arch/arm32/src/mm/page.c 	page_table_lock(AS_KERNEL, true);
page_table_lock    51 kernel/arch/arm64/src/mm/page.c 	page_table_lock(AS_KERNEL, true);
page_table_lock    68 kernel/arch/ia32/src/mm/page.c 	page_table_lock(AS_KERNEL, true);
page_table_lock    55 kernel/arch/riscv64/src/mm/page.c 		page_table_lock(AS_KERNEL, true);
page_table_lock    58 kernel/genarch/src/mm/as_ht.c 	.page_table_lock = ht_lock,
page_table_lock    59 kernel/genarch/src/mm/as_pt.c 	.page_table_lock = pt_lock,
page_table_lock   139 kernel/generic/include/mm/as.h 	void (*page_table_lock)(as_t *, bool);
page_table_lock    58 kernel/generic/include/mm/page.h extern void page_table_lock(as_t *, bool);
page_table_lock    75 kernel/generic/src/ipc/ops/pagein.c 		page_table_lock(AS, true);
page_table_lock   951 kernel/generic/src/mm/as.c 		page_table_lock(as, false);
page_table_lock  1103 kernel/generic/src/mm/as.c 	page_table_lock(as, false);
page_table_lock  1402 kernel/generic/src/mm/as.c 	page_table_lock(as, false);
page_table_lock  1473 kernel/generic/src/mm/as.c 			page_table_lock(as, false);
page_table_lock  1554 kernel/generic/src/mm/as.c 	page_table_lock(AS, false);
page_table_lock  1792 kernel/generic/src/mm/as.c 	assert(as_operations->page_table_lock);
page_table_lock  1794 kernel/generic/src/mm/as.c 	as_operations->page_table_lock(as, lock);
page_table_lock  1838 kernel/generic/src/mm/as.c 	page_table_lock(AS, true);
page_table_lock   133 kernel/generic/src/mm/backend_anon.c 			page_table_lock(area->as, false);
page_table_lock   204 kernel/generic/src/mm/backend_elf.c 			page_table_lock(area->as, false);
page_table_lock   148 kernel/generic/src/mm/km.c 	page_table_lock(AS_KERNEL, true);
page_table_lock   166 kernel/generic/src/mm/km.c 	page_table_lock(AS_KERNEL, true);
page_table_lock   224 kernel/generic/src/mm/km.c 	page_table_lock(AS_KERNEL, true);
page_table_lock   194 kernel/generic/src/mm/page.c 	page_table_lock(AS, true);