FlushVDMPointer is obsolete. Use VdmFlushCache instead.
BOOL FlushVDMPointer( IN ULONG Addr, IN USHORT Size, PBYTE Buffer, IN BOOL ProtectedMode );