52 struct vtdmap {  struct
53 	volatile uint32_t	version;
54 	volatile uint32_t	res0;
55 	volatile uint64_t	cap;
56 	volatile uint64_t	ext_cap;
57 	volatile uint32_t	gcr;
58 	volatile uint32_t	gsr;
59 	volatile uint64_t	rta;
60 	volatile uint64_t	ccr;
128 vtd_max_domains(struct vtdmap *vtdmap)  in vtd_max_domains()
181 	struct vtdmap *vtdmap;  in vtd_device_scope()  local
240 vtd_wbflush(struct vtdmap *vtdmap)  in vtd_wbflush()
254 vtd_ctx_global_invalidate(struct vtdmap *vtdmap)  in vtd_ctx_global_invalidate()
263 vtd_iotlb_global_invalidate(struct vtdmap *vtdmap)  in vtd_iotlb_global_invalidate()
284 vtd_translation_enable(struct vtdmap *vtdmap)  in vtd_translation_enable()
293 vtd_translation_disable(struct vtdmap *vtdmap)  in vtd_translation_disable()
305 	struct vtdmap *vtdmap;  in vtd_init()  local
403 	struct vtdmap *vtdmap;  in vtd_enable()  local
426 	struct vtdmap *vtdmap;  in vtd_disable()  local
441 	struct vtdmap *vtdmap;  in vtd_add_device()  local
485 	struct vtdmap *vtdmap;  in vtd_remove_device()  local
621 	struct vtdmap *vtdmap;  in vtd_invalidate_tlb()  local
639 	struct vtdmap *vtdmap;  in vtd_create_domain()  local