Symbol: vmm_decode_cr4
sys/arch/amd64/amd64/vmm_machdep.c
170
void vmm_decode_cr4(uint64_t);
sys/arch/amd64/amd64/vmm_machdep.c
8157
vmm_decode_cr4(r);