Barrelfish
Functions
mcheck.c File Reference

x86 machine check architecture initialisation / "driver" More...

Functions

void mcheck_init (void)
 Enable machine check reporting, if supported. More...
 

Detailed Description

x86 machine check architecture initialisation / "driver"

Function Documentation

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