Add a monitor command gfp to get free pages
authorXiao Jia <stfairy@gmail.com>
Thu, 17 Sep 2015 03:38:45 +0000 (20:38 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 23 Sep 2015 20:46:28 +0000 (16:46 -0400)
commit3c71ff4906637188c45c98191833e84268f8ce47
tree73e9f70cba9cb163ae51d041a0ec4cc5ba446916
parent51a29652da4cb9008408352731c6ce5c85617758
Add a monitor command gfp to get free pages

This was useful in debugging buffer allocations in the mlx4 driver.
kern/include/monitor.h
kern/src/monitor.c