Searched defs:handle (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/projects/musllibc/src/network/ |
H A D | ns_parse.c | 50 int ns_initparse(const unsigned char *msg, int msglen, ns_msg *handle) argument 104 ns_parserr(ns_msg *handle, ns_sect section, int rrnum, ns_rr *rr) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
H A D | default.c | 67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/ |
H A D | arch.c | 50 get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, UNUSED seL4_Word pci_bus, UNUSED seL4_Word pci_dev, UNUSED seL4_Word pci_func, UNUSED seL4_Word handle, seL4_Word vector) argument
|
/seL4-test-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
H A D | simple.h | 117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | interrupt.c | 153 word_t handle = getSyscallArg(5, buffer); local
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 56 long handle; member in struct:__anon1::__anon2::__anon4
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | frames.c | 100 static int handle(seL4_CPtr fault_ep, seL4_CPtr reply, seL4_Word arg3, seL4_Word arg4) function
|
Completed in 108 milliseconds