Fixed upage_alloc bug with page-coloring disabled
authorAndrew Waterman <waterman@ros-dev.(none)>
Mon, 5 Apr 2010 01:18:55 +0000 (18:18 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:39 +0000 (17:35 -0700)
commit0ca7f42c812c69042e8170d735c4662552a72fc8
tree5cdf158740806a0b50536fdedab02215527f7c9c
parent059404d02b16ab7044d1de760b30deed67c55306
Fixed upage_alloc bug with page-coloring disabled

We forgot to zero-fill the page if requested.  This bug
was a bear and took about 3 hours to track down :|
kern/src/page_alloc.c