Searched defs:vpage (Results 1 – 3 of 3) sorted by relevance
254 uint32_t vpage = INSERTED32(EXTRACTED64(vpn, 24, 39), 0, 15); in htab_map_page() local
251 vaddr_t vpage[VPAGE_MAX]; member
303 void * vpage[2]; member