Lines Matching refs:BIOS

10 You need to check whether your BIOS supports EINJ first. For that, look
15 which shows that the BIOS is exposing an EINJ table - it is the
22 don't exist: before you give up, go into BIOS setup to see if the BIOS
26 the BIOS menu.
127   this actually works depends on what operations the BIOS actually
155 BIOS versions based on the ACPI 4.0 specification have limited options
156 in controlling where the errors are injected. Your BIOS may support an
162 BIOS versions based on the ACPI 5.0 specification have more control over
186 An ACPI 5.0 BIOS may also allow vendor-specific errors to be injected.
188 from the BIOS that hopefully will allow an application wishing to use
189 the vendor-specific extension to tell that they are running on a BIOS
192 and param2 (1 = PROCESSOR, 2 = MEMORY, 4 = PCI). See your BIOS vendor
253 There may be a separate BIOS setup option to enable SGX injection.
258 from accessing enclave pages (even BIOS SMM mode).