Searched refs:vsid_pool (Results 1 – 2 of 2) sorted by relevance
293 map->host_vsid = vcpu_book3s->vsid_pool[vcpu_book3s->vsid_next]; in create_sid_map()375 vcpu3s->vsid_pool[(i * 16) + j] = CTX_TO_VSID(err, j); in kvmppc_mmu_init()
115 u32 vsid_pool[VSID_POOL_SIZE]; member