Searched refs:vaddr_lo (Results 1 – 1 of 1) sorted by relevance
123 uint32_t vaddr_lo; in devtab_illegal_entry() local147 vaddr_lo = AMD_IOMMU_REG_GET32(&event[2], in devtab_illegal_entry()161 (void *)(uintptr_t)(((uint64_t)vaddr_hi) << 32 | vaddr_lo)); in devtab_illegal_entry()175 uint32_t vaddr_lo; in io_page_fault() local202 vaddr_lo = event[2]; in io_page_fault()219 (void *)(uintptr_t)(((uint64_t)vaddr_hi) << 32 | vaddr_lo)); in io_page_fault()