vexpress_muxfpga_init  332 drivers/gpu/drm/pl111/pl111_versatile.c 		ret = vexpress_muxfpga_init();
vexpress_muxfpga_init   13 drivers/gpu/drm/pl111/pl111_vexpress.h int vexpress_muxfpga_init(void);