Searched refs:libxl__seabios_path (Results 1 – 3 of 3) sorted by relevance
38 const char *libxl__seabios_path(void) in libxl__seabios_path() function
1111 bios_filename = libxl__seabios_path(); in libxl__domain_firmware()
2352 _hidden const char *libxl__seabios_path(void);
Completed in 17 milliseconds