xenfb_make_preferred_console   69 drivers/video/fbdev/xen-fbfront.c static void xenfb_make_preferred_console(void);
xenfb_make_preferred_console  484 drivers/video/fbdev/xen-fbfront.c 	xenfb_make_preferred_console();