base/include/nul/vcpu.h File Reference

#include "bus.h"
#include "executor/cpustate.h"
#include "message.h"

Classes
struct	CpuMessage
	External Virtual CPU interface. More...
struct	CpuEvent
struct	LapicEvent
class	VCpu