CR4_PCIDE
{ "PCIDE", CR4_PCIDE, CR4_PCIDE },
if (sregs->sr_cr4 & CR4_PCIDE)
if (getcr4() & CR4_PCIDE)
rm->rm_cr4 &= ~(CR4_MCE | CR4_PCE | CR4_PCIDE);
#define getpcid() ((getcr4() & CR4_PCIDE) ? \
ASSERT(!(getcr4() & CR4_PCIDE));
uint64_t pcide = getcr4() & CR4_PCIDE;
ASSERT(!(getcr4() & CR4_PCIDE));
ASSERT(!(getcr4() & CR4_PCIDE));
if (!(getcr4() & CR4_PCIDE)) {
if (!(getcr4() & CR4_PCIDE)) {
if (!(getcr4() & CR4_PCIDE) || x86_use_invpcid == 1) {
setcr4(getcr4() | CR4_PCIDE);