Searched refs:pcid_t (Results 1 – 4 of 4) sorted by relevance
161 unsigned nc = sizeof(p->pmap_pcid_cpus) / sizeof(pcid_t); in pmap_pcid_initialize()176 unsigned nc = sizeof(p->pmap_pcid_cpus) / sizeof(pcid_t); in pmap_pcid_initialize_kernel()186 pcid_t238 pcid_t pcid; in pmap_pcid_deallocate_pcid()274 pcid_t298 pcid_t new_pcid = tpmap->pmap_pcid_cpus[ccpu]; in pmap_pcid_activate()397 invpcid(invpcid_type_t itype, pcid_t ipcid, uint64_t iaddr) in invpcid()
34 pcid_t pmap_pcid_allocate_pcid(int);40 pcid_t pcid_for_pmap_cpu_tuple(pmap_t, thread_t, int);
114 typedef uint16_t pcid_t; typedef163 pcid_t cpu_pcid_free_hint;256 pcid_t cpu_active_pcid;257 pcid_t cpu_last_pcid;258 pcid_t cpu_kernel_pcid;
595 pcid_t pmap_pcid_cpus[PMAP_PCID_MAX_CPUS];