Symbol: FMT_CR4
usr/src/uts/i86pc/os/trap.c
1629
(uint_t)getcr0(), (uint_t)getcr4(), FMT_CR4);
usr/src/uts/i86pc/os/trap.c
1632
(uint_t)getcr0(), FMT_CR0, (uint_t)getcr4(), FMT_CR4);