PHARDWARE_PTE
MiCheckAddress(
  IN  PVOID VirtualAddress,
  OUT PVOID *AccessAddress
  );

Routine Description:


    This function checks the specified virtual address for accessibility
    and returns a pointer to the hardware PTE that maps the virtual address
    and a 43-bit superpage address at which the address can be accessed.

Arguments:

    VirtualAddress - Supplies the virtual address to check.

    AccessAddress - Supplies a pointer to a variable that receives the
         43-bit superpage address at which the address can be accessed.

Return Value:

    A value of NULL is returned if the address is invalid or not accessible.
    Otherwise, a pointer to the PTE that maps the specified virtual address
    is returned as the function value.