Searched refs:console_new (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dconsole.h24 struct console * console_new (void);
H A Dconsole.c20 console_new (void) function
H A Dguest.c1298 g->console = console_new();
/barrelfish-master/usr/vmkitmon/
H A Dconsole.h24 struct console * console_new (void);
H A Dconsole.c21 console_new (void) function
H A Dguest.c822 g->console = console_new();

Completed in 101 milliseconds