Searched refs:printMWiredInfo (Results 1 – 2 of 2) sorted by relevance
37 void printMWiredInfo(const char* cmd);
72 registerMonitor("mem/physical/wired", "integer", printMWired, printMWiredInfo, sm); in initMemory()210 void printMWiredInfo(const char* cmd) in printMWiredInfo() function