Symbol: vmm_decode_cr0
sys/arch/amd64/amd64/vmm_machdep.c
168
void vmm_decode_cr0(uint64_t);
sys/arch/amd64/amd64/vmm_machdep.c
8139
vmm_decode_cr0(r);