add_special_device
int __init add_special_device(u8 type, u8 id, u32 *devid, bool cmd_line);
ret = add_special_device(IVHD_SPECIAL_IOAPIC,
ret = add_special_device(IVHD_SPECIAL_HPET,
ret = add_special_device(type, handle, &devid, false);
add_special_device(IVHD_SPECIAL_IOAPIC, i->id, (u32 *)&i->devid, 0);