Searched refs:get_vgabios (Results 1 – 1 of 1) sorted by relevance
132 static void *get_vgabios(XenPCIPassthroughState *s, int *size, in get_vgabios() function182 bios = get_vgabios(s, &bios_size, dev); in xen_pt_setup_vga()