43     PCIIPMIKCSDevice *pik = ik->opaque;  in pci_ipmi_raise_irq()  local
45     pci_set_irq(&pik->dev, true);  in pci_ipmi_raise_irq()
50     PCIIPMIKCSDevice *pik = ik->opaque;  in pci_ipmi_lower_irq()  local
52     pci_set_irq(&pik->dev, false);  in pci_ipmi_lower_irq()
58     PCIIPMIKCSDevice *pik = PCI_IPMI_KCS(pd);  in pci_ipmi_kcs_realize()  local
62     if (!pik->kcs.bmc) {  in pci_ipmi_kcs_realize()
67     pik->uuid = ipmi_next_uuid();  in pci_ipmi_kcs_realize()
69     pik->kcs.bmc->intf = ii;  in pci_ipmi_kcs_realize()
70     pik->kcs.opaque = pik;  in pci_ipmi_kcs_realize()
74     pik->kcs.use_irq = 1;  in pci_ipmi_kcs_realize()
75     pik->kcs.raise_irq = pci_ipmi_raise_irq;  in pci_ipmi_kcs_realize()
76     pik->kcs.lower_irq = pci_ipmi_lower_irq;  in pci_ipmi_kcs_realize()
83     pci_register_bar(pd, 0, PCI_BASE_ADDRESS_SPACE_IO, &pik->kcs.io);  in pci_ipmi_kcs_realize()
99     PCIIPMIKCSDevice *pik = PCI_IPMI_KCS(obj);  in pci_ipmi_kcs_instance_init()  local
101     ipmi_bmc_find_and_link(obj, (Object **) &pik->kcs.bmc);  in pci_ipmi_kcs_instance_init()
106     PCIIPMIKCSDevice *pik = PCI_IPMI_KCS(ii);  in pci_ipmi_kcs_get_backend_data()  local
108     return &pik->kcs;  in pci_ipmi_kcs_get_backend_data()