acpidisp_acpivga_print
static int acpidisp_acpivga_print(void *, const char *);
&aa, acpidisp_acpivga_print, CFARGS_NONE);