HelenOS sources

page_table_locked   60 kernel/genarch/src/mm/as_ht.c 	.page_table_locked = ht_locked,
page_table_locked   61 kernel/genarch/src/mm/as_pt.c 	.page_table_locked = pt_locked,
page_table_locked  161 kernel/genarch/src/mm/page_ht.c 	assert(page_table_locked(as));
page_table_locked  211 kernel/genarch/src/mm/page_ht.c 	assert(page_table_locked(as));
page_table_locked  231 kernel/genarch/src/mm/page_ht.c 	assert(nolock || page_table_locked(as));
page_table_locked   84 kernel/genarch/src/mm/page_pt.c 	assert(page_table_locked(as));
page_table_locked  162 kernel/genarch/src/mm/page_pt.c 	assert(page_table_locked(as));
page_table_locked  296 kernel/genarch/src/mm/page_pt.c 	assert(nolock || page_table_locked(as));
page_table_locked  141 kernel/generic/include/mm/as.h 	bool (*page_table_locked)(as_t *);
page_table_locked   60 kernel/generic/include/mm/page.h extern bool page_table_locked(as_t *);
page_table_locked 1821 kernel/generic/src/mm/as.c 	assert(as_operations->page_table_locked);
page_table_locked 1823 kernel/generic/src/mm/as.c 	return as_operations->page_table_locked(as);
page_table_locked  189 kernel/generic/src/mm/backend_anon.c 	assert(page_table_locked(AS));
page_table_locked  277 kernel/generic/src/mm/backend_anon.c 	assert(page_table_locked(area->as));
page_table_locked  270 kernel/generic/src/mm/backend_elf.c 	assert(page_table_locked(AS));
page_table_locked  422 kernel/generic/src/mm/backend_elf.c 	assert(page_table_locked(area->as));
page_table_locked  138 kernel/generic/src/mm/backend_phys.c 	assert(page_table_locked(AS));
page_table_locked  112 kernel/generic/src/mm/backend_user.c 	assert(page_table_locked(AS));
page_table_locked  166 kernel/generic/src/mm/backend_user.c 	assert(page_table_locked(area->as));
page_table_locked  100 kernel/generic/src/mm/page.c 	assert(page_table_locked(as));
page_table_locked  124 kernel/generic/src/mm/page.c 	assert(page_table_locked(as));
page_table_locked  149 kernel/generic/src/mm/page.c 	assert(nolock || page_table_locked(as));
page_table_locked  170 kernel/generic/src/mm/page.c 	assert(nolock || page_table_locked(as));