func: static void apic_reset_common(DeviceState *dev)
  
  {
  
      APICCommonState *s = APIC_COMMON(dev);
  
      APICCommonClass *info = APIC_COMMON_GET_CLASS(s);
  
      bool bsp;
  
  
  
      bsp = cpu_is_bsp(s->cpu);
  
      s->apicbase = APIC_DEFAULT_ADDRESS |
  
          (bsp ? MSR_IA32_APICBASE_BSP : 0) | MSR_IA32_APICBASE_ENABLE;
  
  
  
      s->vapic_paddr = 0;
  
      info->vapic_base_update(s);
  
  
  
      apic_init_reset(dev);
  
  
  
      if (bsp) {
  
          /*
  
           * LINT0 delivery mode on CPU #0 is set to ExtInt at initialization
  
           * time typically by BIOS, so PIC interrupt can be delivered to the
  
           * processor when local APIC is enabled.
  
           */
  
          s->lvt[APIC_LVT_LINT0] = 0x700;
  
      }
  
  }
  