52a53,55
> inline Fault checkVectorEnableFault(CPU_EXEC_CONTEXT *xc) {
> return std::make_shared<VectorEnableFault>();
> }