Searched refs:bios_filename (Results 1 – 1 of 1) sorted by relevance
1005 const char *bios_filename = NULL; in libxl__domain_firmware() local1107 bios_filename = info->u.hvm.system_firmware; in libxl__domain_firmware()1111 bios_filename = libxl__seabios_path(); in libxl__domain_firmware()1114 bios_filename = libxl__ovmf_path(); in libxl__domain_firmware()1123 if (bios_filename) { in libxl__domain_firmware()1124 rc = libxl__load_hvm_firmware_module(gc, bios_filename, "BIOS", in libxl__domain_firmware()
Completed in 6 milliseconds