PVOID
MmDbgWriteCheck(
  IN  PVOID VirtualAddress,
  IN  PHARDWARE_PTE Opaque
  );

Routine Description:

    This routine returns the 43-bit superpage address which corresponds
    to the specified virtual address if the specified virtual address is
    writable.

    N.B. This function should only be called at IRQL DISPATCH_LEVEL or
         above.

Arguments:

    VirtualAddress - Supplies the virtual address to check.

    Opaque - Supplies a pointer to fill with an opaque value.

Return Value:

    If the specified virtual address is invalid or not writable, then a
    value of NULL is returned. Otherwise, the 43-bit superpage address
    which corresponds to the specified virtual address is returned.