Searched defs:va0 (Results 1 – 2 of 2) sorted by relevance
124 vaddr_t va, va0; in alloc_cpuinfo() local
540 vaddr_t va, va0; in xnf_fragcount() local