Symbol: CR4_DE
sys/cpu/x86_64/include/specialreg.h
58
#define CR4_DE 0x00000008 /* Debugging extensions */
sys/dev/virtual/nvmm/x86/nvmm_x86.h
671
#define CR4_DE __BIT(3) /* Debugging extensions */