HelenOS sources
page_mapping_operations_t 60 kernel/genarch/include/genarch/mm/page_ht.h extern const page_mapping_operations_t ht_mapping_operations;
page_mapping_operations_t 143 kernel/genarch/include/genarch/mm/page_pt.h extern const page_mapping_operations_t pt_mapping_operations;
page_mapping_operations_t 92 kernel/genarch/src/mm/page_ht.c const page_mapping_operations_t ht_mapping_operations = {
page_mapping_operations_t 60 kernel/genarch/src/mm/page_pt.c const page_mapping_operations_t pt_mapping_operations = {
page_mapping_operations_t 55 kernel/generic/include/mm/page.h extern const page_mapping_operations_t *page_mapping_operations;
page_mapping_operations_t 78 kernel/generic/src/mm/page.c const page_mapping_operations_t *page_mapping_operations = NULL;
HelenOS homepage, sources at GitHub