#include <vcpu.h>
Definition at line 42 of file vcpu.h.
Definition at line 43 of file vcpu.h.
Definition at line 44 of file vcpu.h.