Searched refs:x86bios (Results 1 – 1 of 1) sorted by relevance
889 const char *x86bios = pci_get_param(a, "ecam.x86bios"); local947 if (strcmp(x86bios, "0") == 0)1025 const char *x86bios = pci_get_param(a, "ecam.x86bios"); local1065 if (strcmp(x86bios, "0") != 0)