ivhd_dte
struct ivhd_dte *dte = &iommu->dte[sid];
struct ivhd_dte *dte;
struct ivhd_dte *sc_hwdte;
#define HWDTE_SIZE (65536 * sizeof(struct ivhd_dte))
dte_set_guest_cr3(struct ivhd_dte *dte, paddr_t paddr)
dte_set_interrupt_table_root_ptr(struct ivhd_dte *dte, paddr_t paddr)
dte_set_interrupt_table_length(struct ivhd_dte *dte, int nEnt)
dte_set_interrupt_valid(struct ivhd_dte *dte)
dte_set_domain(struct ivhd_dte *dte, uint16_t did)
dte_set_host_page_table_root_ptr(struct ivhd_dte *dte, paddr_t paddr)
dte_set_mode(struct ivhd_dte *dte, int mode)
dte_set_tv(struct ivhd_dte *dte)
dte_set_valid(struct ivhd_dte *dte)
dte_is_valid(struct ivhd_dte *dte)