#ifndef _SMI_712_H_
#define _SMI_712_H_

#include "smi.h"
extern void SMI_EnableMmio (ScrnInfoPtr pScrn);

#endif