#include <vcpu.h>
Definition at line 98 of file vcpu.h.
Definition at line 100 of file vcpu.h.
Definition at line 99 of file vcpu.h.