Searched defs:arch_simple (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/ |
H A D | device.c | 19 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
H A D | device.c | 16 int sel4platsupport_arch_copy_irq_cap(arch_simple_t *arch_simple, ps_irq_t *irq, cspacepath_t *dest) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
H A D | simple.h | 43 typedef struct arch_simple { struct
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
H A D | simple.h | 89 typedef struct arch_simple { struct 101 arch_simple_get_IOPort_cap(arch_simple_t *arch_simple, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument 117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, argument 135 arch_simple_get_ioapic(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word ioapic, seL4_Word pin, seL4_Word level, seL4_Word polarity, seL4_Word vector) argument 154 arch_simple_get_iospace(arch_simple_t *arch_simple, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/ |
H A D | simple.h | 246 arch_simple_t arch_simple; member in struct:simple_t [all...] |
Completed in 83 milliseconds