VirtualMachineBase.vtop¶

VirtualMachineBase.vtop(addr, dtb=None, cpu_num=None)[source]¶

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.