#include <vcpu.h>
Definition at line 68 of file vcpu.h.
Definition at line 70 of file vcpu.h.
Definition at line 69 of file vcpu.h.