Searched defs:name (Results 1 - 9 of 9) sorted by relevance

/seL4-mcs-10.1.1/tools/python-deps/
H A Dsetup.py42 name='sel4-deps', variable
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dmultiboot.h25 uint32_t name; member in struct:multiboot_module
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dsyscalls.h595 seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
/seL4-mcs-10.1.1/src/api/
H A Dsyscall.c105 const char *name; local
/seL4-mcs-10.1.1/src/plat/spike/machine/
H A Dfdt.c61 const char *name; member in struct:fdt_scan_node
68 const char *name; member in struct:fdt_scan_prop
[all...]
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h538 seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h696 seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsyscalls.h630 seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
/seL4-mcs-10.1.1/src/object/
H A Dtcb.c1776 setThreadName(tcb_t *tcb, const char *name) argument

Completed in 71 milliseconds