vmonitor_t
static vmonitor_t *
vmonitor_t *pvm;
vmonitor_t *pvm;
extern vmonitor_t *vmonitor_alloc(int *, vmonitor_head_t *);
vmonitor_t *
vmonitor_t *pvm;
vmonitor_t *pvm;
vmonitor_t *pvm;