VVE_OK
return (VVE_OK);
if (vhpet_data_validate(req, vhpet->vm) != VVE_OK) {
if (vlapic_data_validate(vlapic, req) != VVE_OK) {