vmbus_attach_print
&vaa, vmbus_attach_print, CFARGS_NONE);
static int vmbus_attach_print(void *, const char *);