def get_pxe_address_x64(virtual_address, pte_base):
	"""
	The functions gives the PTE address for a virtual address
	Based on: https://www.coresecurity.com/system/files/publications/2016/05/Windows%20SMEP%20bypass%20U%3DS.pdf
	@param virtual_address: the virtual address to convert
	@param pte_base: the base address for PTE
	"""
	pte_address = virtual_address >> 9
	pte_address = pte_address | pte_base
	pte_address = pte_address & (pte_base + 0x0000007ffffffff8)
	return pte_address