#ifndef _VUID_EVENT_H_9ff2977a_
#define _VUID_EVENT_H_9ff2977a_

#include <sys/types.h>
#include <sys/time.h>

#include "/usr/include/machine/vuid_event.h"

#endif