#ifndef __I88INTR_H_ #define __I88INTR_H_ #include "i86intf.h" /* Public functions */ void i8088_get_info(UINT32 state, cpuinfo *info); #endif