HelenOS sources

KEY_PAGE          116 kernel/genarch/src/mm/page_ht.c 	hash = hash_combine(hash, key[KEY_PAGE] >> PAGE_WIDTH);
KEY_PAGE          126 kernel/genarch/src/mm/page_ht.c 	    (key[KEY_PAGE] == pte->page);
KEY_PAGE          158 kernel/genarch/src/mm/page_ht.c 		[KEY_PAGE] = ALIGN_DOWN(page, PAGE_SIZE)
KEY_PAGE          208 kernel/genarch/src/mm/page_ht.c 		[KEY_PAGE] = ALIGN_DOWN(page, PAGE_SIZE)
KEY_PAGE          228 kernel/genarch/src/mm/page_ht.c 		[KEY_PAGE] = ALIGN_DOWN(page, PAGE_SIZE)
HelenOS homepage, sources at GitHub