204
214
static void apic_reset_common(DeviceState *d)
206
216
APICCommonState *s = DO_UPCAST(APICCommonState, busdev.qdev, d);
207
217
APICCommonClass *info = APIC_COMMON_GET_CLASS(s);
211
221
s->apicbase = 0xfee00000 |
212
222
(bsp ? MSR_IA32_APICBASE_BSP : 0) | MSR_IA32_APICBASE_ENABLE;