IVHD_SPECIAL_IOAPIC
if (type == IVHD_SPECIAL_IOAPIC)
type == IVHD_SPECIAL_IOAPIC ? "IOAPIC" : "HPET", id);
ret = add_special_device(IVHD_SPECIAL_IOAPIC,
if (type == IVHD_SPECIAL_IOAPIC)
add_special_device(IVHD_SPECIAL_IOAPIC, i->id, (u32 *)&i->devid, 0);