Searched defs:vaddr2 (Results 1 – 2 of 2) sorted by relevance
667 uint64_t vaddr2 = *vaddr ^ oddpagebit; in walk_directory() local
130 vaddr vaddr2; member208 vaddr vaddr2 = wrap_address(env, vaddr1 + size1); in access_prepare_nf() local