inlined get_page_color
authorAndrew Waterman <waterman@ubuntu.(none)>
Sun, 3 Jan 2010 01:08:17 +0000 (17:08 -0800)
committerAndrew Waterman <waterman@ubuntu.(none)>
Sun, 3 Jan 2010 01:08:17 +0000 (17:08 -0800)
commit88602496e093fe540ee53220561f546eb69103f5
tree4b1836c32cb19c30bbd43e6cae3a756ff0d324ed
parent6e624068aebb73037e7290b1ca2151e4c8110ce4
inlined get_page_color
kern/src/colored_caches.c