Symbol: vlapic_get_ccr
sys/amd64/vmm/io/vlapic.c
1434
*data = vlapic_get_ccr(vlapic);
sys/amd64/vmm/io/vlapic.c
1889
ccr = vlapic_get_ccr(vlapic);