Searched refs:asid_bits (Results 1 – 1 of 1) sorted by relevance
65 static uint64_t asid_bits = 0; in fake_pmap_init() local66 asid_bitmap = &asid_bits; in fake_pmap_init()