Fixed up ivy annotations on the new structure supporting page_coloring.
[akaros.git] / kern / ivy / deputy.c
2009-05-26 Kevin KluesAnother round at reorganization