Searched refs:guest_addr (Results 1 – 2 of 2) sorted by relevance
1459 static int vgic_v3_its_init_virtual(struct domain *d, paddr_t guest_addr, in vgic_v3_its_init_virtual() argument1485 its->doorbell_address = guest_addr + ITS_DOORBELL_OFFSET; in vgic_v3_its_init_virtual()1491 register_mmio_handler(d, &vgic_its_mmio_handler, guest_addr, SZ_64K, its); in vgic_v3_its_init_virtual()
956 u64 guest_addr; in __do_iommu_page_fault() local976 guest_addr = dmar_readq(iommu->reg, reg + in __do_iommu_page_fault()978 guest_addr = dma_frcd_page_addr(guest_addr); in __do_iommu_page_fault()985 source_id, guest_addr); in __do_iommu_page_fault()
Completed in 9 milliseconds