#ifndef _SMI_720_H_
#define _SMI_720_H_

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

#endif