HelenOS sources
kernel/arch/amd64/include/arch/mm/pat.h
kernel/arch/ia32/include/arch/mm/pat.h
HelenOS homepage
,
sources at GitHub