Searched refs:pmap_pcid_disabled (Results 1 – 1 of 1) sorted by relevance
59 boolean_t pmap_pcid_disabled = FALSE; variable75 if (PE_parse_boot_argn("-pmap_pcid_disable", &pmap_pcid_disabled, sizeof(pmap_pcid_disabled))) { in pmap_pcid_configure()77 printf("PMAP: PCID feature disabled, %u\n", pmap_pcid_disabled); in pmap_pcid_configure()78 kprintf("PMAP: PCID feature disabled %u\n", pmap_pcid_disabled); in pmap_pcid_configure()83 if (pmap_pcid_disabled == FALSE) { in pmap_pcid_configure()90 pmap_pcid_disabled = TRUE; in pmap_pcid_configure()93 if (pmap_pcid_disabled || no_shared_cr3) { in pmap_pcid_configure()