path: root/private/ntos/nthals/haltimbr/alpha/ev5mchk.c

//
// This file simply includes the source file from the common Alpha
// HAL directory.
//

#include "..\halalpha\ev5mchk.c"