HelenOS sources

PAGE_WRITE_COMBINE_SHIFT  214 kernel/arch/amd64/include/arch/mm/page.h 	    p->page_write_through << PAGE_WRITE_COMBINE_SHIFT);
PAGE_WRITE_COMBINE_SHIFT  193 kernel/arch/ia32/include/arch/mm/page.h 	    p->page_write_through << PAGE_WRITE_COMBINE_SHIFT);
PAGE_WRITE_COMBINE_SHIFT   65 kernel/generic/include/mm/mm.h #define PAGE_WRITE_COMBINE  (1 << PAGE_WRITE_COMBINE_SHIFT)
HelenOS homepage, sources at GitHub