#ifndef __V33INTRF_H_
#define __V33INTRF_H_

#include "i86intrf.h"
#include "v30intrf.h"

/* Public functions */
void v33_get_info(UINT32 state, cpuinfo *info);

#endif