CHAR __stdcall HvMarkDirty(INT64 a1, INT64 a2, INT64 a3){ return HvpMarkDirty(a1, a2, a3, CmHiveDirtyNormal); }