VCPU_STATUS
if (tr32(VCPU_STATUS) & VCPU_STATUS_INIT_DONE)
tw32(VCPU_STATUS, tr32(VCPU_STATUS) | VCPU_STATUS_DRV_RESET);