1b5cec4c5SDavid Gibson /* 2b5cec4c5SDavid Gibson * QEMU PowerPC pSeries Logical Partition (aka sPAPR) hardware System Emulator 3b5cec4c5SDavid Gibson * 4b5cec4c5SDavid Gibson * PAPR Virtualized Interrupt System, aka ICS/ICP aka xics 5b5cec4c5SDavid Gibson * 6b5cec4c5SDavid Gibson * Copyright (c) 2010,2011 David Gibson, IBM Corporation. 7b5cec4c5SDavid Gibson * 8b5cec4c5SDavid Gibson * Permission is hereby granted, free of charge, to any person obtaining a copy 9b5cec4c5SDavid Gibson * of this software and associated documentation files (the "Software"), to deal 10b5cec4c5SDavid Gibson * in the Software without restriction, including without limitation the rights 11b5cec4c5SDavid Gibson * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 12b5cec4c5SDavid Gibson * copies of the Software, and to permit persons to whom the Software is 13b5cec4c5SDavid Gibson * furnished to do so, subject to the following conditions: 14b5cec4c5SDavid Gibson * 15b5cec4c5SDavid Gibson * The above copyright notice and this permission notice shall be included in 16b5cec4c5SDavid Gibson * all copies or substantial portions of the Software. 17b5cec4c5SDavid Gibson * 18b5cec4c5SDavid Gibson * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 19b5cec4c5SDavid Gibson * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 20b5cec4c5SDavid Gibson * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 21b5cec4c5SDavid Gibson * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 22b5cec4c5SDavid Gibson * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 23b5cec4c5SDavid Gibson * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 24b5cec4c5SDavid Gibson * THE SOFTWARE. 25b5cec4c5SDavid Gibson * 26b5cec4c5SDavid Gibson */ 27b5cec4c5SDavid Gibson 280d75590dSPeter Maydell #include "qemu/osdep.h" 29da34e65cSMarkus Armbruster #include "qapi/error.h" 304771d756SPaolo Bonzini #include "qemu-common.h" 314771d756SPaolo Bonzini #include "cpu.h" 3283c9f4caSPaolo Bonzini #include "hw/hw.h" 33500efa23SDavid Gibson #include "trace.h" 345d87e4b7SBenjamin Herrenschmidt #include "qemu/timer.h" 350d09e41aSPaolo Bonzini #include "hw/ppc/xics.h" 369ccff2a4SAlexey Kardashevskiy #include "qemu/error-report.h" 375a3d7b23SAlexey Kardashevskiy #include "qapi/visitor.h" 38b5cec4c5SDavid Gibson 39*9c7027baSBenjamin Herrenschmidt int xics_get_cpu_index_by_dt_id(int cpu_dt_id) 400f20ba62SAlexey Kardashevskiy { 410f20ba62SAlexey Kardashevskiy PowerPCCPU *cpu = ppc_get_vcpu_by_dt_id(cpu_dt_id); 420f20ba62SAlexey Kardashevskiy 430f20ba62SAlexey Kardashevskiy if (cpu) { 440f20ba62SAlexey Kardashevskiy return cpu->parent_obj.cpu_index; 450f20ba62SAlexey Kardashevskiy } 460f20ba62SAlexey Kardashevskiy 470f20ba62SAlexey Kardashevskiy return -1; 480f20ba62SAlexey Kardashevskiy } 490f20ba62SAlexey Kardashevskiy 504a4b344cSBharata B Rao void xics_cpu_destroy(XICSState *icp, PowerPCCPU *cpu) 514a4b344cSBharata B Rao { 524a4b344cSBharata B Rao CPUState *cs = CPU(cpu); 534a4b344cSBharata B Rao ICPState *ss = &icp->ss[cs->cpu_index]; 544a4b344cSBharata B Rao 554a4b344cSBharata B Rao assert(cs->cpu_index < icp->nr_servers); 564a4b344cSBharata B Rao assert(cs == ss->cs); 574a4b344cSBharata B Rao 584a4b344cSBharata B Rao ss->output = NULL; 594a4b344cSBharata B Rao ss->cs = NULL; 604a4b344cSBharata B Rao } 614a4b344cSBharata B Rao 628ffe04edSAlexey Kardashevskiy void xics_cpu_setup(XICSState *icp, PowerPCCPU *cpu) 638ffe04edSAlexey Kardashevskiy { 648ffe04edSAlexey Kardashevskiy CPUState *cs = CPU(cpu); 658ffe04edSAlexey Kardashevskiy CPUPPCState *env = &cpu->env; 668ffe04edSAlexey Kardashevskiy ICPState *ss = &icp->ss[cs->cpu_index]; 675eb92cccSAlexey Kardashevskiy XICSStateClass *info = XICS_COMMON_GET_CLASS(icp); 688ffe04edSAlexey Kardashevskiy 698ffe04edSAlexey Kardashevskiy assert(cs->cpu_index < icp->nr_servers); 708ffe04edSAlexey Kardashevskiy 714a4b344cSBharata B Rao ss->cs = cs; 724a4b344cSBharata B Rao 735eb92cccSAlexey Kardashevskiy if (info->cpu_setup) { 745eb92cccSAlexey Kardashevskiy info->cpu_setup(icp, cpu); 755eb92cccSAlexey Kardashevskiy } 765eb92cccSAlexey Kardashevskiy 778ffe04edSAlexey Kardashevskiy switch (PPC_INPUT(env)) { 788ffe04edSAlexey Kardashevskiy case PPC_FLAGS_INPUT_POWER7: 798ffe04edSAlexey Kardashevskiy ss->output = env->irq_inputs[POWER7_INPUT_INT]; 808ffe04edSAlexey Kardashevskiy break; 818ffe04edSAlexey Kardashevskiy 828ffe04edSAlexey Kardashevskiy case PPC_FLAGS_INPUT_970: 838ffe04edSAlexey Kardashevskiy ss->output = env->irq_inputs[PPC970_INPUT_INT]; 848ffe04edSAlexey Kardashevskiy break; 858ffe04edSAlexey Kardashevskiy 868ffe04edSAlexey Kardashevskiy default: 879ccff2a4SAlexey Kardashevskiy error_report("XICS interrupt controller does not support this CPU " 889ccff2a4SAlexey Kardashevskiy "bus model"); 898ffe04edSAlexey Kardashevskiy abort(); 908ffe04edSAlexey Kardashevskiy } 918ffe04edSAlexey Kardashevskiy } 928ffe04edSAlexey Kardashevskiy 935a3d7b23SAlexey Kardashevskiy /* 945a3d7b23SAlexey Kardashevskiy * XICS Common class - parent for emulated XICS and KVM-XICS 955a3d7b23SAlexey Kardashevskiy */ 965a3d7b23SAlexey Kardashevskiy static void xics_common_reset(DeviceState *d) 978ffe04edSAlexey Kardashevskiy { 985a3d7b23SAlexey Kardashevskiy XICSState *icp = XICS_COMMON(d); 998ffe04edSAlexey Kardashevskiy int i; 1008ffe04edSAlexey Kardashevskiy 1018ffe04edSAlexey Kardashevskiy for (i = 0; i < icp->nr_servers; i++) { 1028ffe04edSAlexey Kardashevskiy device_reset(DEVICE(&icp->ss[i])); 1038ffe04edSAlexey Kardashevskiy } 1048ffe04edSAlexey Kardashevskiy 1058ffe04edSAlexey Kardashevskiy device_reset(DEVICE(icp->ics)); 1068ffe04edSAlexey Kardashevskiy } 1078ffe04edSAlexey Kardashevskiy 108d7bce999SEric Blake static void xics_prop_get_nr_irqs(Object *obj, Visitor *v, const char *name, 109d7bce999SEric Blake void *opaque, Error **errp) 1105a3d7b23SAlexey Kardashevskiy { 1115a3d7b23SAlexey Kardashevskiy XICSState *icp = XICS_COMMON(obj); 1125a3d7b23SAlexey Kardashevskiy int64_t value = icp->nr_irqs; 1135a3d7b23SAlexey Kardashevskiy 11451e72bc1SEric Blake visit_type_int(v, name, &value, errp); 1155a3d7b23SAlexey Kardashevskiy } 1165a3d7b23SAlexey Kardashevskiy 117d7bce999SEric Blake static void xics_prop_set_nr_irqs(Object *obj, Visitor *v, const char *name, 118d7bce999SEric Blake void *opaque, Error **errp) 1195a3d7b23SAlexey Kardashevskiy { 1205a3d7b23SAlexey Kardashevskiy XICSState *icp = XICS_COMMON(obj); 1215a3d7b23SAlexey Kardashevskiy XICSStateClass *info = XICS_COMMON_GET_CLASS(icp); 1225a3d7b23SAlexey Kardashevskiy Error *error = NULL; 1235a3d7b23SAlexey Kardashevskiy int64_t value; 1245a3d7b23SAlexey Kardashevskiy 12551e72bc1SEric Blake visit_type_int(v, name, &value, &error); 1265a3d7b23SAlexey Kardashevskiy if (error) { 1275a3d7b23SAlexey Kardashevskiy error_propagate(errp, error); 1285a3d7b23SAlexey Kardashevskiy return; 1295a3d7b23SAlexey Kardashevskiy } 1305a3d7b23SAlexey Kardashevskiy if (icp->nr_irqs) { 1315a3d7b23SAlexey Kardashevskiy error_setg(errp, "Number of interrupts is already set to %u", 1325a3d7b23SAlexey Kardashevskiy icp->nr_irqs); 1335a3d7b23SAlexey Kardashevskiy return; 1345a3d7b23SAlexey Kardashevskiy } 1355a3d7b23SAlexey Kardashevskiy 1365a3d7b23SAlexey Kardashevskiy assert(info->set_nr_irqs); 1375a3d7b23SAlexey Kardashevskiy assert(icp->ics); 1385a3d7b23SAlexey Kardashevskiy info->set_nr_irqs(icp, value, errp); 1395a3d7b23SAlexey Kardashevskiy } 1405a3d7b23SAlexey Kardashevskiy 1415a3d7b23SAlexey Kardashevskiy static void xics_prop_get_nr_servers(Object *obj, Visitor *v, 142d7bce999SEric Blake const char *name, void *opaque, 1435a3d7b23SAlexey Kardashevskiy Error **errp) 1445a3d7b23SAlexey Kardashevskiy { 1455a3d7b23SAlexey Kardashevskiy XICSState *icp = XICS_COMMON(obj); 1465a3d7b23SAlexey Kardashevskiy int64_t value = icp->nr_servers; 1475a3d7b23SAlexey Kardashevskiy 14851e72bc1SEric Blake visit_type_int(v, name, &value, errp); 1495a3d7b23SAlexey Kardashevskiy } 1505a3d7b23SAlexey Kardashevskiy 1515a3d7b23SAlexey Kardashevskiy static void xics_prop_set_nr_servers(Object *obj, Visitor *v, 152d7bce999SEric Blake const char *name, void *opaque, 1535a3d7b23SAlexey Kardashevskiy Error **errp) 1545a3d7b23SAlexey Kardashevskiy { 1555a3d7b23SAlexey Kardashevskiy XICSState *icp = XICS_COMMON(obj); 1565a3d7b23SAlexey Kardashevskiy XICSStateClass *info = XICS_COMMON_GET_CLASS(icp); 1575a3d7b23SAlexey Kardashevskiy Error *error = NULL; 1585a3d7b23SAlexey Kardashevskiy int64_t value; 1595a3d7b23SAlexey Kardashevskiy 16051e72bc1SEric Blake visit_type_int(v, name, &value, &error); 1615a3d7b23SAlexey Kardashevskiy if (error) { 1625a3d7b23SAlexey Kardashevskiy error_propagate(errp, error); 1635a3d7b23SAlexey Kardashevskiy return; 1645a3d7b23SAlexey Kardashevskiy } 1655a3d7b23SAlexey Kardashevskiy if (icp->nr_servers) { 1665a3d7b23SAlexey Kardashevskiy error_setg(errp, "Number of servers is already set to %u", 1675a3d7b23SAlexey Kardashevskiy icp->nr_servers); 1685a3d7b23SAlexey Kardashevskiy return; 1695a3d7b23SAlexey Kardashevskiy } 1705a3d7b23SAlexey Kardashevskiy 1715a3d7b23SAlexey Kardashevskiy assert(info->set_nr_servers); 1725a3d7b23SAlexey Kardashevskiy info->set_nr_servers(icp, value, errp); 1735a3d7b23SAlexey Kardashevskiy } 1745a3d7b23SAlexey Kardashevskiy 1755a3d7b23SAlexey Kardashevskiy static void xics_common_initfn(Object *obj) 1765a3d7b23SAlexey Kardashevskiy { 1775a3d7b23SAlexey Kardashevskiy object_property_add(obj, "nr_irqs", "int", 1785a3d7b23SAlexey Kardashevskiy xics_prop_get_nr_irqs, xics_prop_set_nr_irqs, 1795a3d7b23SAlexey Kardashevskiy NULL, NULL, NULL); 1805a3d7b23SAlexey Kardashevskiy object_property_add(obj, "nr_servers", "int", 1815a3d7b23SAlexey Kardashevskiy xics_prop_get_nr_servers, xics_prop_set_nr_servers, 1825a3d7b23SAlexey Kardashevskiy NULL, NULL, NULL); 1835a3d7b23SAlexey Kardashevskiy } 1845a3d7b23SAlexey Kardashevskiy 1855a3d7b23SAlexey Kardashevskiy static void xics_common_class_init(ObjectClass *oc, void *data) 1865a3d7b23SAlexey Kardashevskiy { 1875a3d7b23SAlexey Kardashevskiy DeviceClass *dc = DEVICE_CLASS(oc); 1885a3d7b23SAlexey Kardashevskiy 1895a3d7b23SAlexey Kardashevskiy dc->reset = xics_common_reset; 1905a3d7b23SAlexey Kardashevskiy } 1915a3d7b23SAlexey Kardashevskiy 1925a3d7b23SAlexey Kardashevskiy static const TypeInfo xics_common_info = { 1935a3d7b23SAlexey Kardashevskiy .name = TYPE_XICS_COMMON, 1945a3d7b23SAlexey Kardashevskiy .parent = TYPE_SYS_BUS_DEVICE, 1955a3d7b23SAlexey Kardashevskiy .instance_size = sizeof(XICSState), 1965a3d7b23SAlexey Kardashevskiy .class_size = sizeof(XICSStateClass), 1975a3d7b23SAlexey Kardashevskiy .instance_init = xics_common_initfn, 1985a3d7b23SAlexey Kardashevskiy .class_init = xics_common_class_init, 1995a3d7b23SAlexey Kardashevskiy }; 2005a3d7b23SAlexey Kardashevskiy 201b5cec4c5SDavid Gibson /* 202b5cec4c5SDavid Gibson * ICP: Presentation layer 203b5cec4c5SDavid Gibson */ 204b5cec4c5SDavid Gibson 205b5cec4c5SDavid Gibson #define XISR_MASK 0x00ffffff 206b5cec4c5SDavid Gibson #define CPPR_MASK 0xff000000 207b5cec4c5SDavid Gibson 208b5cec4c5SDavid Gibson #define XISR(ss) (((ss)->xirr) & XISR_MASK) 209b5cec4c5SDavid Gibson #define CPPR(ss) (((ss)->xirr) >> 24) 210b5cec4c5SDavid Gibson 211c04d6cfaSAnthony Liguori static void ics_reject(ICSState *ics, int nr); 212c04d6cfaSAnthony Liguori static void ics_resend(ICSState *ics); 213c04d6cfaSAnthony Liguori static void ics_eoi(ICSState *ics, int nr); 214b5cec4c5SDavid Gibson 215c04d6cfaSAnthony Liguori static void icp_check_ipi(XICSState *icp, int server) 216b5cec4c5SDavid Gibson { 217c04d6cfaSAnthony Liguori ICPState *ss = icp->ss + server; 218b5cec4c5SDavid Gibson 219b5cec4c5SDavid Gibson if (XISR(ss) && (ss->pending_priority <= ss->mfrr)) { 220b5cec4c5SDavid Gibson return; 221b5cec4c5SDavid Gibson } 222b5cec4c5SDavid Gibson 223500efa23SDavid Gibson trace_xics_icp_check_ipi(server, ss->mfrr); 224500efa23SDavid Gibson 225b5cec4c5SDavid Gibson if (XISR(ss)) { 226b5cec4c5SDavid Gibson ics_reject(icp->ics, XISR(ss)); 227b5cec4c5SDavid Gibson } 228b5cec4c5SDavid Gibson 229b5cec4c5SDavid Gibson ss->xirr = (ss->xirr & ~XISR_MASK) | XICS_IPI; 230b5cec4c5SDavid Gibson ss->pending_priority = ss->mfrr; 231b5cec4c5SDavid Gibson qemu_irq_raise(ss->output); 232b5cec4c5SDavid Gibson } 233b5cec4c5SDavid Gibson 234c04d6cfaSAnthony Liguori static void icp_resend(XICSState *icp, int server) 235b5cec4c5SDavid Gibson { 236c04d6cfaSAnthony Liguori ICPState *ss = icp->ss + server; 237b5cec4c5SDavid Gibson 238b5cec4c5SDavid Gibson if (ss->mfrr < CPPR(ss)) { 239b5cec4c5SDavid Gibson icp_check_ipi(icp, server); 240b5cec4c5SDavid Gibson } 241b5cec4c5SDavid Gibson ics_resend(icp->ics); 242b5cec4c5SDavid Gibson } 243b5cec4c5SDavid Gibson 244*9c7027baSBenjamin Herrenschmidt void icp_set_cppr(XICSState *icp, int server, uint8_t cppr) 245b5cec4c5SDavid Gibson { 246c04d6cfaSAnthony Liguori ICPState *ss = icp->ss + server; 247b5cec4c5SDavid Gibson uint8_t old_cppr; 248b5cec4c5SDavid Gibson uint32_t old_xisr; 249b5cec4c5SDavid Gibson 250b5cec4c5SDavid Gibson old_cppr = CPPR(ss); 251b5cec4c5SDavid Gibson ss->xirr = (ss->xirr & ~CPPR_MASK) | (cppr << 24); 252b5cec4c5SDavid Gibson 253b5cec4c5SDavid Gibson if (cppr < old_cppr) { 254b5cec4c5SDavid Gibson if (XISR(ss) && (cppr <= ss->pending_priority)) { 255b5cec4c5SDavid Gibson old_xisr = XISR(ss); 256b5cec4c5SDavid Gibson ss->xirr &= ~XISR_MASK; /* Clear XISR */ 257e03c902cSDavid Gibson ss->pending_priority = 0xff; 258b5cec4c5SDavid Gibson qemu_irq_lower(ss->output); 259b5cec4c5SDavid Gibson ics_reject(icp->ics, old_xisr); 260b5cec4c5SDavid Gibson } 261b5cec4c5SDavid Gibson } else { 262b5cec4c5SDavid Gibson if (!XISR(ss)) { 263b5cec4c5SDavid Gibson icp_resend(icp, server); 264b5cec4c5SDavid Gibson } 265b5cec4c5SDavid Gibson } 266b5cec4c5SDavid Gibson } 267b5cec4c5SDavid Gibson 268*9c7027baSBenjamin Herrenschmidt void icp_set_mfrr(XICSState *icp, int server, uint8_t mfrr) 269b5cec4c5SDavid Gibson { 270c04d6cfaSAnthony Liguori ICPState *ss = icp->ss + server; 271b5cec4c5SDavid Gibson 272b5cec4c5SDavid Gibson ss->mfrr = mfrr; 273b5cec4c5SDavid Gibson if (mfrr < CPPR(ss)) { 274bf0175deSDavid Gibson icp_check_ipi(icp, server); 275b5cec4c5SDavid Gibson } 276b5cec4c5SDavid Gibson } 277b5cec4c5SDavid Gibson 278*9c7027baSBenjamin Herrenschmidt uint32_t icp_accept(ICPState *ss) 279b5cec4c5SDavid Gibson { 280500efa23SDavid Gibson uint32_t xirr = ss->xirr; 281b5cec4c5SDavid Gibson 282b5cec4c5SDavid Gibson qemu_irq_lower(ss->output); 283b5cec4c5SDavid Gibson ss->xirr = ss->pending_priority << 24; 284e03c902cSDavid Gibson ss->pending_priority = 0xff; 285500efa23SDavid Gibson 286500efa23SDavid Gibson trace_xics_icp_accept(xirr, ss->xirr); 287500efa23SDavid Gibson 288b5cec4c5SDavid Gibson return xirr; 289b5cec4c5SDavid Gibson } 290b5cec4c5SDavid Gibson 291*9c7027baSBenjamin Herrenschmidt void icp_eoi(XICSState *icp, int server, uint32_t xirr) 292b5cec4c5SDavid Gibson { 293c04d6cfaSAnthony Liguori ICPState *ss = icp->ss + server; 294b5cec4c5SDavid Gibson 295b5cec4c5SDavid Gibson /* Send EOI -> ICS */ 296b5cec4c5SDavid Gibson ss->xirr = (ss->xirr & ~CPPR_MASK) | (xirr & CPPR_MASK); 297500efa23SDavid Gibson trace_xics_icp_eoi(server, xirr, ss->xirr); 298d07fee7eSDavid Gibson ics_eoi(icp->ics, xirr & XISR_MASK); 299b5cec4c5SDavid Gibson if (!XISR(ss)) { 300b5cec4c5SDavid Gibson icp_resend(icp, server); 301b5cec4c5SDavid Gibson } 302b5cec4c5SDavid Gibson } 303b5cec4c5SDavid Gibson 304c04d6cfaSAnthony Liguori static void icp_irq(XICSState *icp, int server, int nr, uint8_t priority) 305b5cec4c5SDavid Gibson { 306c04d6cfaSAnthony Liguori ICPState *ss = icp->ss + server; 307b5cec4c5SDavid Gibson 308500efa23SDavid Gibson trace_xics_icp_irq(server, nr, priority); 309500efa23SDavid Gibson 310b5cec4c5SDavid Gibson if ((priority >= CPPR(ss)) 311b5cec4c5SDavid Gibson || (XISR(ss) && (ss->pending_priority <= priority))) { 312b5cec4c5SDavid Gibson ics_reject(icp->ics, nr); 313b5cec4c5SDavid Gibson } else { 314b5cec4c5SDavid Gibson if (XISR(ss)) { 315b5cec4c5SDavid Gibson ics_reject(icp->ics, XISR(ss)); 316b5cec4c5SDavid Gibson } 317b5cec4c5SDavid Gibson ss->xirr = (ss->xirr & ~XISR_MASK) | (nr & XISR_MASK); 318b5cec4c5SDavid Gibson ss->pending_priority = priority; 319500efa23SDavid Gibson trace_xics_icp_raise(ss->xirr, ss->pending_priority); 320b5cec4c5SDavid Gibson qemu_irq_raise(ss->output); 321b5cec4c5SDavid Gibson } 322b5cec4c5SDavid Gibson } 323b5cec4c5SDavid Gibson 324d1b5682dSAlexey Kardashevskiy static void icp_dispatch_pre_save(void *opaque) 325d1b5682dSAlexey Kardashevskiy { 326d1b5682dSAlexey Kardashevskiy ICPState *ss = opaque; 327d1b5682dSAlexey Kardashevskiy ICPStateClass *info = ICP_GET_CLASS(ss); 328d1b5682dSAlexey Kardashevskiy 329d1b5682dSAlexey Kardashevskiy if (info->pre_save) { 330d1b5682dSAlexey Kardashevskiy info->pre_save(ss); 331d1b5682dSAlexey Kardashevskiy } 332d1b5682dSAlexey Kardashevskiy } 333d1b5682dSAlexey Kardashevskiy 334d1b5682dSAlexey Kardashevskiy static int icp_dispatch_post_load(void *opaque, int version_id) 335d1b5682dSAlexey Kardashevskiy { 336d1b5682dSAlexey Kardashevskiy ICPState *ss = opaque; 337d1b5682dSAlexey Kardashevskiy ICPStateClass *info = ICP_GET_CLASS(ss); 338d1b5682dSAlexey Kardashevskiy 339d1b5682dSAlexey Kardashevskiy if (info->post_load) { 340d1b5682dSAlexey Kardashevskiy return info->post_load(ss, version_id); 341d1b5682dSAlexey Kardashevskiy } 342d1b5682dSAlexey Kardashevskiy 343d1b5682dSAlexey Kardashevskiy return 0; 344d1b5682dSAlexey Kardashevskiy } 345d1b5682dSAlexey Kardashevskiy 346c04d6cfaSAnthony Liguori static const VMStateDescription vmstate_icp_server = { 347c04d6cfaSAnthony Liguori .name = "icp/server", 348c04d6cfaSAnthony Liguori .version_id = 1, 349c04d6cfaSAnthony Liguori .minimum_version_id = 1, 350d1b5682dSAlexey Kardashevskiy .pre_save = icp_dispatch_pre_save, 351d1b5682dSAlexey Kardashevskiy .post_load = icp_dispatch_post_load, 352c04d6cfaSAnthony Liguori .fields = (VMStateField[]) { 353c04d6cfaSAnthony Liguori /* Sanity check */ 354c04d6cfaSAnthony Liguori VMSTATE_UINT32(xirr, ICPState), 355c04d6cfaSAnthony Liguori VMSTATE_UINT8(pending_priority, ICPState), 356c04d6cfaSAnthony Liguori VMSTATE_UINT8(mfrr, ICPState), 357c04d6cfaSAnthony Liguori VMSTATE_END_OF_LIST() 358c04d6cfaSAnthony Liguori }, 359c04d6cfaSAnthony Liguori }; 360c04d6cfaSAnthony Liguori 361c04d6cfaSAnthony Liguori static void icp_reset(DeviceState *dev) 362c04d6cfaSAnthony Liguori { 363c04d6cfaSAnthony Liguori ICPState *icp = ICP(dev); 364c04d6cfaSAnthony Liguori 365c04d6cfaSAnthony Liguori icp->xirr = 0; 366c04d6cfaSAnthony Liguori icp->pending_priority = 0xff; 367c04d6cfaSAnthony Liguori icp->mfrr = 0xff; 368c04d6cfaSAnthony Liguori 369c04d6cfaSAnthony Liguori /* Make all outputs are deasserted */ 370c04d6cfaSAnthony Liguori qemu_set_irq(icp->output, 0); 371c04d6cfaSAnthony Liguori } 372c04d6cfaSAnthony Liguori 373c04d6cfaSAnthony Liguori static void icp_class_init(ObjectClass *klass, void *data) 374c04d6cfaSAnthony Liguori { 375c04d6cfaSAnthony Liguori DeviceClass *dc = DEVICE_CLASS(klass); 376c04d6cfaSAnthony Liguori 377c04d6cfaSAnthony Liguori dc->reset = icp_reset; 378c04d6cfaSAnthony Liguori dc->vmsd = &vmstate_icp_server; 379c04d6cfaSAnthony Liguori } 380c04d6cfaSAnthony Liguori 381456df19cSAlexey Kardashevskiy static const TypeInfo icp_info = { 382c04d6cfaSAnthony Liguori .name = TYPE_ICP, 383c04d6cfaSAnthony Liguori .parent = TYPE_DEVICE, 384c04d6cfaSAnthony Liguori .instance_size = sizeof(ICPState), 385c04d6cfaSAnthony Liguori .class_init = icp_class_init, 386d1b5682dSAlexey Kardashevskiy .class_size = sizeof(ICPStateClass), 387c04d6cfaSAnthony Liguori }; 388c04d6cfaSAnthony Liguori 389b5cec4c5SDavid Gibson /* 390b5cec4c5SDavid Gibson * ICS: Source layer 391b5cec4c5SDavid Gibson */ 392c04d6cfaSAnthony Liguori static void resend_msi(ICSState *ics, int srcno) 393b5cec4c5SDavid Gibson { 394c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + srcno; 395d07fee7eSDavid Gibson 396d07fee7eSDavid Gibson /* FIXME: filter by server#? */ 39798ca8c02SDavid Gibson if (irq->status & XICS_STATUS_REJECTED) { 39898ca8c02SDavid Gibson irq->status &= ~XICS_STATUS_REJECTED; 399d07fee7eSDavid Gibson if (irq->priority != 0xff) { 400d07fee7eSDavid Gibson icp_irq(ics->icp, irq->server, srcno + ics->offset, 401d07fee7eSDavid Gibson irq->priority); 402d07fee7eSDavid Gibson } 403d07fee7eSDavid Gibson } 404d07fee7eSDavid Gibson } 405d07fee7eSDavid Gibson 406c04d6cfaSAnthony Liguori static void resend_lsi(ICSState *ics, int srcno) 407d07fee7eSDavid Gibson { 408c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + srcno; 409d07fee7eSDavid Gibson 41098ca8c02SDavid Gibson if ((irq->priority != 0xff) 41198ca8c02SDavid Gibson && (irq->status & XICS_STATUS_ASSERTED) 41298ca8c02SDavid Gibson && !(irq->status & XICS_STATUS_SENT)) { 41398ca8c02SDavid Gibson irq->status |= XICS_STATUS_SENT; 414d07fee7eSDavid Gibson icp_irq(ics->icp, irq->server, srcno + ics->offset, irq->priority); 415d07fee7eSDavid Gibson } 416d07fee7eSDavid Gibson } 417d07fee7eSDavid Gibson 418c04d6cfaSAnthony Liguori static void set_irq_msi(ICSState *ics, int srcno, int val) 419d07fee7eSDavid Gibson { 420c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + srcno; 421b5cec4c5SDavid Gibson 422500efa23SDavid Gibson trace_xics_set_irq_msi(srcno, srcno + ics->offset); 423500efa23SDavid Gibson 424b5cec4c5SDavid Gibson if (val) { 425b5cec4c5SDavid Gibson if (irq->priority == 0xff) { 42698ca8c02SDavid Gibson irq->status |= XICS_STATUS_MASKED_PENDING; 427500efa23SDavid Gibson trace_xics_masked_pending(); 428b5cec4c5SDavid Gibson } else { 429cc67b9c8SDavid Gibson icp_irq(ics->icp, irq->server, srcno + ics->offset, irq->priority); 430b5cec4c5SDavid Gibson } 431b5cec4c5SDavid Gibson } 432b5cec4c5SDavid Gibson } 433b5cec4c5SDavid Gibson 434c04d6cfaSAnthony Liguori static void set_irq_lsi(ICSState *ics, int srcno, int val) 435d07fee7eSDavid Gibson { 436c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + srcno; 437d07fee7eSDavid Gibson 438500efa23SDavid Gibson trace_xics_set_irq_lsi(srcno, srcno + ics->offset); 43998ca8c02SDavid Gibson if (val) { 44098ca8c02SDavid Gibson irq->status |= XICS_STATUS_ASSERTED; 44198ca8c02SDavid Gibson } else { 44298ca8c02SDavid Gibson irq->status &= ~XICS_STATUS_ASSERTED; 44398ca8c02SDavid Gibson } 444d07fee7eSDavid Gibson resend_lsi(ics, srcno); 445d07fee7eSDavid Gibson } 446d07fee7eSDavid Gibson 447d07fee7eSDavid Gibson static void ics_set_irq(void *opaque, int srcno, int val) 448d07fee7eSDavid Gibson { 449c04d6cfaSAnthony Liguori ICSState *ics = (ICSState *)opaque; 450d07fee7eSDavid Gibson 4514af88944SAlexey Kardashevskiy if (ics->irqs[srcno].flags & XICS_FLAGS_IRQ_LSI) { 452d07fee7eSDavid Gibson set_irq_lsi(ics, srcno, val); 453d07fee7eSDavid Gibson } else { 454d07fee7eSDavid Gibson set_irq_msi(ics, srcno, val); 455d07fee7eSDavid Gibson } 456d07fee7eSDavid Gibson } 457d07fee7eSDavid Gibson 458c04d6cfaSAnthony Liguori static void write_xive_msi(ICSState *ics, int srcno) 459d07fee7eSDavid Gibson { 460c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + srcno; 461d07fee7eSDavid Gibson 46298ca8c02SDavid Gibson if (!(irq->status & XICS_STATUS_MASKED_PENDING) 46398ca8c02SDavid Gibson || (irq->priority == 0xff)) { 464d07fee7eSDavid Gibson return; 465d07fee7eSDavid Gibson } 466d07fee7eSDavid Gibson 46798ca8c02SDavid Gibson irq->status &= ~XICS_STATUS_MASKED_PENDING; 468d07fee7eSDavid Gibson icp_irq(ics->icp, irq->server, srcno + ics->offset, irq->priority); 469d07fee7eSDavid Gibson } 470d07fee7eSDavid Gibson 471c04d6cfaSAnthony Liguori static void write_xive_lsi(ICSState *ics, int srcno) 472d07fee7eSDavid Gibson { 473d07fee7eSDavid Gibson resend_lsi(ics, srcno); 474d07fee7eSDavid Gibson } 475d07fee7eSDavid Gibson 476*9c7027baSBenjamin Herrenschmidt void ics_write_xive(ICSState *ics, int nr, int server, 4773fe719f4SDavid Gibson uint8_t priority, uint8_t saved_priority) 478d07fee7eSDavid Gibson { 479d07fee7eSDavid Gibson int srcno = nr - ics->offset; 480c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + srcno; 481d07fee7eSDavid Gibson 482d07fee7eSDavid Gibson irq->server = server; 483d07fee7eSDavid Gibson irq->priority = priority; 4843fe719f4SDavid Gibson irq->saved_priority = saved_priority; 485d07fee7eSDavid Gibson 486500efa23SDavid Gibson trace_xics_ics_write_xive(nr, srcno, server, priority); 487500efa23SDavid Gibson 4884af88944SAlexey Kardashevskiy if (ics->irqs[srcno].flags & XICS_FLAGS_IRQ_LSI) { 489d07fee7eSDavid Gibson write_xive_lsi(ics, srcno); 490d07fee7eSDavid Gibson } else { 491d07fee7eSDavid Gibson write_xive_msi(ics, srcno); 492d07fee7eSDavid Gibson } 493d07fee7eSDavid Gibson } 494d07fee7eSDavid Gibson 495c04d6cfaSAnthony Liguori static void ics_reject(ICSState *ics, int nr) 496b5cec4c5SDavid Gibson { 497c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + nr - ics->offset; 498b5cec4c5SDavid Gibson 499500efa23SDavid Gibson trace_xics_ics_reject(nr, nr - ics->offset); 50098ca8c02SDavid Gibson irq->status |= XICS_STATUS_REJECTED; /* Irrelevant but harmless for LSI */ 50198ca8c02SDavid Gibson irq->status &= ~XICS_STATUS_SENT; /* Irrelevant but harmless for MSI */ 502b5cec4c5SDavid Gibson } 503b5cec4c5SDavid Gibson 504c04d6cfaSAnthony Liguori static void ics_resend(ICSState *ics) 505b5cec4c5SDavid Gibson { 506b5cec4c5SDavid Gibson int i; 507b5cec4c5SDavid Gibson 508b5cec4c5SDavid Gibson for (i = 0; i < ics->nr_irqs; i++) { 509b5cec4c5SDavid Gibson /* FIXME: filter by server#? */ 5104af88944SAlexey Kardashevskiy if (ics->irqs[i].flags & XICS_FLAGS_IRQ_LSI) { 511d07fee7eSDavid Gibson resend_lsi(ics, i); 512d07fee7eSDavid Gibson } else { 513d07fee7eSDavid Gibson resend_msi(ics, i); 514b5cec4c5SDavid Gibson } 515b5cec4c5SDavid Gibson } 516b5cec4c5SDavid Gibson } 517b5cec4c5SDavid Gibson 518c04d6cfaSAnthony Liguori static void ics_eoi(ICSState *ics, int nr) 519b5cec4c5SDavid Gibson { 520d07fee7eSDavid Gibson int srcno = nr - ics->offset; 521c04d6cfaSAnthony Liguori ICSIRQState *irq = ics->irqs + srcno; 522d07fee7eSDavid Gibson 523500efa23SDavid Gibson trace_xics_ics_eoi(nr); 524500efa23SDavid Gibson 5254af88944SAlexey Kardashevskiy if (ics->irqs[srcno].flags & XICS_FLAGS_IRQ_LSI) { 52698ca8c02SDavid Gibson irq->status &= ~XICS_STATUS_SENT; 527d07fee7eSDavid Gibson } 528b5cec4c5SDavid Gibson } 529b5cec4c5SDavid Gibson 530c04d6cfaSAnthony Liguori static void ics_reset(DeviceState *dev) 531c04d6cfaSAnthony Liguori { 532c04d6cfaSAnthony Liguori ICSState *ics = ICS(dev); 533c04d6cfaSAnthony Liguori int i; 534a7e519a8SAlexey Kardashevskiy uint8_t flags[ics->nr_irqs]; 535a7e519a8SAlexey Kardashevskiy 536a7e519a8SAlexey Kardashevskiy for (i = 0; i < ics->nr_irqs; i++) { 537a7e519a8SAlexey Kardashevskiy flags[i] = ics->irqs[i].flags; 538a7e519a8SAlexey Kardashevskiy } 539c04d6cfaSAnthony Liguori 540c04d6cfaSAnthony Liguori memset(ics->irqs, 0, sizeof(ICSIRQState) * ics->nr_irqs); 541a7e519a8SAlexey Kardashevskiy 542c04d6cfaSAnthony Liguori for (i = 0; i < ics->nr_irqs; i++) { 543c04d6cfaSAnthony Liguori ics->irqs[i].priority = 0xff; 544c04d6cfaSAnthony Liguori ics->irqs[i].saved_priority = 0xff; 545a7e519a8SAlexey Kardashevskiy ics->irqs[i].flags = flags[i]; 546c04d6cfaSAnthony Liguori } 547c04d6cfaSAnthony Liguori } 548c04d6cfaSAnthony Liguori 549d1b5682dSAlexey Kardashevskiy static int ics_post_load(ICSState *ics, int version_id) 550c04d6cfaSAnthony Liguori { 551c04d6cfaSAnthony Liguori int i; 552c04d6cfaSAnthony Liguori 553c04d6cfaSAnthony Liguori for (i = 0; i < ics->icp->nr_servers; i++) { 554c04d6cfaSAnthony Liguori icp_resend(ics->icp, i); 555c04d6cfaSAnthony Liguori } 556c04d6cfaSAnthony Liguori 557c04d6cfaSAnthony Liguori return 0; 558c04d6cfaSAnthony Liguori } 559c04d6cfaSAnthony Liguori 560d1b5682dSAlexey Kardashevskiy static void ics_dispatch_pre_save(void *opaque) 561d1b5682dSAlexey Kardashevskiy { 562d1b5682dSAlexey Kardashevskiy ICSState *ics = opaque; 563d1b5682dSAlexey Kardashevskiy ICSStateClass *info = ICS_GET_CLASS(ics); 564d1b5682dSAlexey Kardashevskiy 565d1b5682dSAlexey Kardashevskiy if (info->pre_save) { 566d1b5682dSAlexey Kardashevskiy info->pre_save(ics); 567d1b5682dSAlexey Kardashevskiy } 568d1b5682dSAlexey Kardashevskiy } 569d1b5682dSAlexey Kardashevskiy 570d1b5682dSAlexey Kardashevskiy static int ics_dispatch_post_load(void *opaque, int version_id) 571d1b5682dSAlexey Kardashevskiy { 572d1b5682dSAlexey Kardashevskiy ICSState *ics = opaque; 573d1b5682dSAlexey Kardashevskiy ICSStateClass *info = ICS_GET_CLASS(ics); 574d1b5682dSAlexey Kardashevskiy 575d1b5682dSAlexey Kardashevskiy if (info->post_load) { 576d1b5682dSAlexey Kardashevskiy return info->post_load(ics, version_id); 577d1b5682dSAlexey Kardashevskiy } 578d1b5682dSAlexey Kardashevskiy 579d1b5682dSAlexey Kardashevskiy return 0; 580d1b5682dSAlexey Kardashevskiy } 581d1b5682dSAlexey Kardashevskiy 582c04d6cfaSAnthony Liguori static const VMStateDescription vmstate_ics_irq = { 583c04d6cfaSAnthony Liguori .name = "ics/irq", 5844af88944SAlexey Kardashevskiy .version_id = 2, 585c04d6cfaSAnthony Liguori .minimum_version_id = 1, 586c04d6cfaSAnthony Liguori .fields = (VMStateField[]) { 587c04d6cfaSAnthony Liguori VMSTATE_UINT32(server, ICSIRQState), 588c04d6cfaSAnthony Liguori VMSTATE_UINT8(priority, ICSIRQState), 589c04d6cfaSAnthony Liguori VMSTATE_UINT8(saved_priority, ICSIRQState), 590c04d6cfaSAnthony Liguori VMSTATE_UINT8(status, ICSIRQState), 5914af88944SAlexey Kardashevskiy VMSTATE_UINT8(flags, ICSIRQState), 592c04d6cfaSAnthony Liguori VMSTATE_END_OF_LIST() 593c04d6cfaSAnthony Liguori }, 594c04d6cfaSAnthony Liguori }; 595c04d6cfaSAnthony Liguori 596c04d6cfaSAnthony Liguori static const VMStateDescription vmstate_ics = { 597c04d6cfaSAnthony Liguori .name = "ics", 598c04d6cfaSAnthony Liguori .version_id = 1, 599c04d6cfaSAnthony Liguori .minimum_version_id = 1, 600d1b5682dSAlexey Kardashevskiy .pre_save = ics_dispatch_pre_save, 601d1b5682dSAlexey Kardashevskiy .post_load = ics_dispatch_post_load, 602c04d6cfaSAnthony Liguori .fields = (VMStateField[]) { 603c04d6cfaSAnthony Liguori /* Sanity check */ 604c04d6cfaSAnthony Liguori VMSTATE_UINT32_EQUAL(nr_irqs, ICSState), 605c04d6cfaSAnthony Liguori 606c04d6cfaSAnthony Liguori VMSTATE_STRUCT_VARRAY_POINTER_UINT32(irqs, ICSState, nr_irqs, 607c04d6cfaSAnthony Liguori vmstate_ics_irq, ICSIRQState), 608c04d6cfaSAnthony Liguori VMSTATE_END_OF_LIST() 609c04d6cfaSAnthony Liguori }, 610c04d6cfaSAnthony Liguori }; 611c04d6cfaSAnthony Liguori 6125a3d7b23SAlexey Kardashevskiy static void ics_initfn(Object *obj) 6135a3d7b23SAlexey Kardashevskiy { 6145a3d7b23SAlexey Kardashevskiy ICSState *ics = ICS(obj); 6155a3d7b23SAlexey Kardashevskiy 6165a3d7b23SAlexey Kardashevskiy ics->offset = XICS_IRQ_BASE; 6175a3d7b23SAlexey Kardashevskiy } 6185a3d7b23SAlexey Kardashevskiy 619b45ff2d9SAlexey Kardashevskiy static void ics_realize(DeviceState *dev, Error **errp) 620c04d6cfaSAnthony Liguori { 621c04d6cfaSAnthony Liguori ICSState *ics = ICS(dev); 622c04d6cfaSAnthony Liguori 623b45ff2d9SAlexey Kardashevskiy if (!ics->nr_irqs) { 624b45ff2d9SAlexey Kardashevskiy error_setg(errp, "Number of interrupts needs to be greater 0"); 625b45ff2d9SAlexey Kardashevskiy return; 626b45ff2d9SAlexey Kardashevskiy } 627c04d6cfaSAnthony Liguori ics->irqs = g_malloc0(ics->nr_irqs * sizeof(ICSIRQState)); 628c04d6cfaSAnthony Liguori ics->qirqs = qemu_allocate_irqs(ics_set_irq, ics, ics->nr_irqs); 629c04d6cfaSAnthony Liguori } 630c04d6cfaSAnthony Liguori 631c04d6cfaSAnthony Liguori static void ics_class_init(ObjectClass *klass, void *data) 632c04d6cfaSAnthony Liguori { 633c04d6cfaSAnthony Liguori DeviceClass *dc = DEVICE_CLASS(klass); 634d1b5682dSAlexey Kardashevskiy ICSStateClass *isc = ICS_CLASS(klass); 635c04d6cfaSAnthony Liguori 636b45ff2d9SAlexey Kardashevskiy dc->realize = ics_realize; 637c04d6cfaSAnthony Liguori dc->vmsd = &vmstate_ics; 638c04d6cfaSAnthony Liguori dc->reset = ics_reset; 639d1b5682dSAlexey Kardashevskiy isc->post_load = ics_post_load; 640c04d6cfaSAnthony Liguori } 641c04d6cfaSAnthony Liguori 642456df19cSAlexey Kardashevskiy static const TypeInfo ics_info = { 643c04d6cfaSAnthony Liguori .name = TYPE_ICS, 644c04d6cfaSAnthony Liguori .parent = TYPE_DEVICE, 645c04d6cfaSAnthony Liguori .instance_size = sizeof(ICSState), 646c04d6cfaSAnthony Liguori .class_init = ics_class_init, 647d1b5682dSAlexey Kardashevskiy .class_size = sizeof(ICSStateClass), 6485a3d7b23SAlexey Kardashevskiy .instance_init = ics_initfn, 649c04d6cfaSAnthony Liguori }; 650c04d6cfaSAnthony Liguori 651b5cec4c5SDavid Gibson /* 652b5cec4c5SDavid Gibson * Exported functions 653b5cec4c5SDavid Gibson */ 654*9c7027baSBenjamin Herrenschmidt int xics_find_source(XICSState *icp, int irq) 655641c3493SAlexey Kardashevskiy { 656641c3493SAlexey Kardashevskiy int sources = 1; 657641c3493SAlexey Kardashevskiy int src; 658641c3493SAlexey Kardashevskiy 659641c3493SAlexey Kardashevskiy /* FIXME: implement multiple sources */ 660641c3493SAlexey Kardashevskiy for (src = 0; src < sources; ++src) { 661641c3493SAlexey Kardashevskiy ICSState *ics = &icp->ics[src]; 662641c3493SAlexey Kardashevskiy if (ics_valid_irq(ics, irq)) { 663641c3493SAlexey Kardashevskiy return src; 664641c3493SAlexey Kardashevskiy } 665641c3493SAlexey Kardashevskiy } 666641c3493SAlexey Kardashevskiy 667641c3493SAlexey Kardashevskiy return -1; 668641c3493SAlexey Kardashevskiy } 669b5cec4c5SDavid Gibson 670c04d6cfaSAnthony Liguori qemu_irq xics_get_qirq(XICSState *icp, int irq) 671b5cec4c5SDavid Gibson { 672641c3493SAlexey Kardashevskiy int src = xics_find_source(icp, irq); 673641c3493SAlexey Kardashevskiy 674641c3493SAlexey Kardashevskiy if (src >= 0) { 675641c3493SAlexey Kardashevskiy ICSState *ics = &icp->ics[src]; 676641c3493SAlexey Kardashevskiy return ics->qirqs[irq - ics->offset]; 677b5cec4c5SDavid Gibson } 678b5cec4c5SDavid Gibson 679641c3493SAlexey Kardashevskiy return NULL; 680a307d594SAlexey Kardashevskiy } 681a307d594SAlexey Kardashevskiy 682*9c7027baSBenjamin Herrenschmidt void ics_set_irq_type(ICSState *ics, int srcno, bool lsi) 6834af88944SAlexey Kardashevskiy { 6844af88944SAlexey Kardashevskiy assert(!(ics->irqs[srcno].flags & XICS_FLAGS_IRQ_MASK)); 6854af88944SAlexey Kardashevskiy 6864af88944SAlexey Kardashevskiy ics->irqs[srcno].flags |= 6874af88944SAlexey Kardashevskiy lsi ? XICS_FLAGS_IRQ_LSI : XICS_FLAGS_IRQ_MSI; 6884af88944SAlexey Kardashevskiy } 6894af88944SAlexey Kardashevskiy 690c04d6cfaSAnthony Liguori static void xics_register_types(void) 691c04d6cfaSAnthony Liguori { 6925a3d7b23SAlexey Kardashevskiy type_register_static(&xics_common_info); 693c04d6cfaSAnthony Liguori type_register_static(&ics_info); 694c04d6cfaSAnthony Liguori type_register_static(&icp_info); 695c04d6cfaSAnthony Liguori } 696c04d6cfaSAnthony Liguori 697c04d6cfaSAnthony Liguori type_init(xics_register_types) 698