Lines Matching defs:data
34 * @param data cookie for the underlying implementation
41 typedef seL4_Error (*arch_simple_get_IOPort_cap_fn)(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth);
47 * @param data cookie for the underlying implementation
52 typedef seL4_Error (*arch_simple_get_msi_fn)(void *data, seL4_CNode root, seL4_Word index,
57 typedef seL4_Error (*arch_simple_get_ioapic_fn)(void *data, seL4_CNode root, seL4_Word index,
66 * @param data cookie for the underlying implementation
71 typedef seL4_Error (*arch_simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode, seL4_Word index,
78 * @param data cookie for the underlying implementation
84 typedef seL4_Error (*arch_simple_get_iospace_fn)(void *data, uint16_t domainID, uint16_t deviceID,
90 void *data;
113 return arch_simple->IOPort_cap(arch_simple->data, start_port, end_port, root, dest, depth);
130 return arch_simple->msi(arch_simple->data, path.root, path.capPtr, path.capDepth, pci_bus,
148 return arch_simple->ioapic(arch_simple->data, path.root, path.capPtr, path.capDepth, ioapic,
165 return arch_simple->iospace(arch_simple->data, domainID, deviceID, path);