Searched refs:vaddr32 (Results 1 – 1 of 1) sorted by relevance
1579 caddr32_t vaddr32 = (caddr32_t)(uintptr_t)vaddr; in fetch_user_instr() local1580 vaddr = (caddr_t)(uintptr_t)vaddr32; in fetch_user_instr()