Searched defs:vmid_bits (Results 1 – 2 of 2) sorted by relevance
144 uint32_t vmid_bits; member
1085 int i, pv_npg, vmid_bits; in pmap_init() local