Searched refs:vaddr_hi (Results 1 – 1 of 1) sorted by relevance
124 uint32_t vaddr_hi; in devtab_illegal_entry() local150 vaddr_hi = event[3]; in devtab_illegal_entry()161 (void *)(uintptr_t)(((uint64_t)vaddr_hi) << 32 | vaddr_lo)); in devtab_illegal_entry()176 uint32_t vaddr_hi; in io_page_fault() local204 vaddr_hi = event[3]; in io_page_fault()219 (void *)(uintptr_t)(((uint64_t)vaddr_hi) << 32 | vaddr_lo)); in io_page_fault()