Searched refs:cpu_pmap_pcid_enabled (Results 1 – 4 of 4) sorted by relevance
101 cpu_datap(i)->cpu_pmap_pcid_enabled = FALSE; in pmap_pcid_configure()105 cpu_datap(ccpu)->cpu_pmap_pcid_enabled = FALSE; in pmap_pcid_configure()114 cpu_datap(ccpu)->cpu_pmap_pcid_enabled = FALSE; in pmap_pcid_configure()119 cpu_datap(ccpu)->cpu_pmap_pcid_enabled = TRUE; in pmap_pcid_configure()144 cpu_datap(ccpu)->cpu_pmap_pcid_enabled = TRUE; in pmap_pcid_configure()303 pmap_assert(cpu_datap(ccpu)->cpu_pmap_pcid_enabled); in pmap_pcid_activate()
255 uint32_t cpu_pmap_pcid_enabled; member
374 offsetof(cpu_data_t, cpu_pmap_pcid_enabled)); in main()
794 pmap_assert(current_cpu_datap()->cpu_pmap_pcid_enabled == FALSE); in kernel_trap()