VirtualMachineX86_64.vtop

VirtualMachineX86_64.vtop(addr, dtb=None, cpu_num=None)

Translate a guest virtual address to a guest physical address.

Parameters

• addr (int) – The virtual address to translate.

• dtb (int, optional) – The directory table base that should be used for the translation. If no dtb is provided, the dtb on the given cpu (cpu_num) will be used.

• cpu_num (int, optional) – The number of the CPU that should be used for the translation. If no dtb and cpu_num have been specified, cpu_num 0 will be used.

Raises

tenjint.api.api.TranslationError – If the virtual address connot be translated.