Symbol: vlapic_get_apicbase
sys/amd64/vmm/io/vlapic.h
78
uint64_t vlapic_get_apicbase(struct vlapic *vlapic);
sys/amd64/vmm/vmm_lapic.c
166
*rval = vlapic_get_apicbase(vlapic);