|
Barrelfish
|
x86 machine check architecture initialisation / "driver" More...
Functions | |
| void | mcheck_init (void) |
| Enable machine check reporting, if supported. More... | |
x86 machine check architecture initialisation / "driver"
| void mcheck_init | ( | void | ) |
Enable machine check reporting, if supported.
Enable machine check reporting for the Intel Xeon Phi.
Intel SDM vol 3 sec 14.6 p14-15 "Machine-check initialization" pseudocode
1.8.11