Searched refs:pcid_cdata_t (Results 1 – 2 of 2) sorted by relevance
62 pcid_cdata_t pcid_data[MAX_CPUS] __attribute__((aligned(64)));301 pcid_cdata_t *pcdata = cpu_datap(ccpu)->cpu_pcid_data; in pmap_pcid_activate()
167 } pcid_cdata_t; typedef261 pcid_cdata_t *cpu_pcid_data;