void apic_enable_vapic(DeviceState *d, target_phys_addr_t paddr)

{

    APICCommonState *s = DO_UPCAST(APICCommonState, busdev.qdev, d);

    APICCommonClass *info = APIC_COMMON_GET_CLASS(s);



    s->vapic_paddr = paddr;

    info->vapic_base_update(s);

}

void apic_enable_vapic(DeviceState *d, target_phys_addr_t paddr)

{

    APICCommonState *s = DO_UPCAST(APICCommonState, busdev.qdev, d);

    APICCommonClass *info = APIC_COMMON_GET_CLASS(s);



    s->vapic_paddr = paddr;

    info->vapic_base_update(s);

}

void FUNC_0(DeviceState *VAR_0, target_phys_addr_t VAR_1)

{

    APICCommonState *s = DO_UPCAST(APICCommonState, busdev.qdev, VAR_0);

    APICCommonClass *info = APIC_COMMON_GET_CLASS(s);



    s->vapic_paddr = VAR_1;

    info->vapic_base_update(s);

}

void FUNC_0(DeviceState *VAR_0, target_phys_addr_t VAR_1)
{ APICCommonState *s = DO_UPCAST(APICCommonState, busdev.qdev, VAR_0); APICCommonClass *info = APIC_COMMON_GET_CLASS(s); s->vapic_paddr = VAR_1; info->vapic_base_update(s); }