#include <vcpu.h>
Definition at line 93 of file vcpu.h.
Definition at line 94 of file vcpu.h.
Definition at line 95 of file vcpu.h.