Searched refs:pcide (Results 1 – 1 of 1) sorted by relevance
1511 uint64_t pcide = getcr4() & CR4_PCIDE; in hat_switch() local1526 if (pcide) { in hat_switch()1552 if (pcide) in hat_switch()1559 if (pcide) in hat_switch()