/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vpci.c | 223 static int append_prop_with_cells(void *fdt, int offset, uint64_t val, int num_cells, const char *name) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | device.h | 28 const char *name; member in struct:device
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | boot.c | 23 vm_init(vm_t *vm, vka_t *vka, simple_t *host_simple, vspace_t host_vspace, ps_io_ops_t *io_ops, seL4_CPtr host_endpoint, const char *name) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.c | 232 static void UNUSED dump_vector(const char *name, void *bitmap) argument
|
/seL4-test-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 838 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
|
/seL4-test-master/kernel/src/api/ |
H A D | syscall.c | 110 const char *name; local
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | main.c | 79 static testcase_t *find_test(const char *name) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/include/ |
H A D | test_init_data.h | 66 char name[TEST_NAME_MAX]; member in struct:__anon28
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/include/ |
H A D | test_init_data.h | 66 char name[TEST_NAME_MAX]; member in struct:__anon29
|
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 90 const char *name; member in struct:test_type 126 char name[TEST_NAME_MAX]; member in struct:testcase
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/ |
H A D | main.c | 200 void sel4test_start_suite(const char *name) argument 209 void sel4test_start_test(const char *name, int n) argument [all...] |
/seL4-test-master/projects/sel4runtime/src/ |
H A D | env.c | 275 static void name_process(char const *name) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | mux.c | 141 const char *name; member in struct:tk1_mux_feature_pinmap_
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | scheduler.c | 1584 char name[32] = ""; local
|
/seL4-test-master/kernel/src/object/ |
H A D | tcb.c | 2039 void setThreadName(tcb_t *tcb, const char *name) argument
|
/seL4-test-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 149 const char *name; local
|
/seL4-test-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls.h | 662 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
|
/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 866 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
|
/seL4-test-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 633 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
|
/seL4-test-master/projects/util_libs/libethdrivers/src/ |
H A D | pico_dev_eth.c | 278 struct pico_device *pico_eth_create_no_malloc(char *name, argument 336 struct pico_device *pico_eth_create(char *name, argument
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot.h | 19 uint32_t name; member in struct:multiboot_module
|
/seL4-test-master/tools/seL4/elfloader-tool/src/ |
H A D | common.c | 65 static void ensure_phys_range_valid(char const *const name, paddr_t paddr_min, argument 130 static paddr_t load_elf(const char *name, void *elf, paddr_t dest_paddr, argument
|
/seL4-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 148 name = entry.name variable
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | phy.h | 106 char name[MDIO_NAME_LEN]; member in struct:mii_dev 127 char *name; member in struct:phy_driver
|
H A D | net.h | 171 char name[ETH_NAME_LEN]; member in struct:eth_device
|