Searched refs:sel4runtime_uintptr_t (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/projects/sel4runtime/include/arch/riscv/sel4runtime/
H A Dthread_arch.h14 static inline sel4runtime_uintptr_t sel4runtime_read_tp(void)
17 sel4runtime_uintptr_t reg;
20 register sel4runtime_uintptr_t reg __asm__("tp");
25 static inline void sel4runtime_write_tp(sel4runtime_uintptr_t reg)
33 static inline sel4runtime_uintptr_t sel4runtime_get_tls_base(void)
41 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base)
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/aarch64/sel4runtime/
H A Dthread_arch.h17 static inline sel4runtime_uintptr_t sel4runtime_read_tpidr_el0(void)
19 sel4runtime_uintptr_t reg;
24 static inline void sel4runtime_write_tpidr_el0(sel4runtime_uintptr_t reg)
29 static inline sel4runtime_uintptr_t sel4runtime_read_tpidrro_el0(void)
31 sel4runtime_uintptr_t reg;
39 static inline sel4runtime_uintptr_t sel4runtime_get_tls_base(void)
47 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base)
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/arm_hyp/sel4runtime/
H A Dthread_arch.h19 static inline sel4runtime_uintptr_t sel4runtime_read_tpidr_el0(void)
21 sel4runtime_uintptr_t reg;
26 static inline void sel4runtime_write_tpidr_el0(sel4runtime_uintptr_t reg)
31 static inline sel4runtime_uintptr_t sel4runtime_read_tpidrro_el0(void)
33 sel4runtime_uintptr_t reg;
41 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base)
56 static inline sel4runtime_uintptr_t sel4runtime_read_tpidr_el0(void)
59 return (sel4runtime_uintptr_t)globals_frame[0];
62 static inline sel4runtime_uintptr_t sel4runtime_read_tpidrro_el0(void)
65 return (sel4runtime_uintptr_t)globals_fram
[all...]
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/aarch32/sel4runtime/
H A Dthread_arch.h19 static inline sel4runtime_uintptr_t sel4runtime_read_tpidr_el0(void)
21 sel4runtime_uintptr_t reg;
26 static inline void sel4runtime_write_tpidr_el0(sel4runtime_uintptr_t reg)
31 static inline sel4runtime_uintptr_t sel4runtime_read_tpidrro_el0(void)
33 sel4runtime_uintptr_t reg;
41 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base)
56 static inline sel4runtime_uintptr_t sel4runtime_read_tpidr_el0(void)
59 return (sel4runtime_uintptr_t)globals_frame[0];
62 static inline sel4runtime_uintptr_t sel4runtime_read_tpidrro_el0(void)
65 return (sel4runtime_uintptr_t)globals_fram
[all...]
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/ia32/sel4runtime/
H A Dthread_arch.h18 static inline sel4runtime_uintptr_t sel4runtime_get_tls_base(void)
20 sel4runtime_uintptr_t tp;
29 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base)
/seL4-camkes-master/projects/sel4runtime/include/sel4_arch/x86_64/sel4runtime/
H A Dthread_arch.h16 static inline sel4runtime_uintptr_t sel4runtime_read_fs_base(void)
18 sel4runtime_uintptr_t reg;
23 static inline void sel4runtime_write_fs_base(sel4runtime_uintptr_t reg)
28 static inline sel4runtime_uintptr_t sel4runtime_read_gs_base(void)
30 sel4runtime_uintptr_t reg;
35 static inline void sel4runtime_write_gs_base(sel4runtime_uintptr_t reg)
43 static inline sel4runtime_uintptr_t sel4runtime_get_tls_base(void)
51 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base)
61 static inline sel4runtime_uintptr_t sel4runtime_get_tls_base(void)
63 sel4runtime_uintptr_t t
[all...]
/seL4-camkes-master/projects/sel4runtime/include/sel4runtime/
H A Dstddef.h23 typedef sel4runtime_uintptr_t sel4runtime_size_t;
H A Dstdint.h40 typedef unsigned long sel4runtime_uintptr_t; typedef
/seL4-camkes-master/projects/sel4runtime/include/
H A Dsel4runtime.h55 static inline sel4runtime_uintptr_t sel4runtime_get_tls_base(void);
60 static inline void sel4runtime_set_tls_base(sel4runtime_uintptr_t tls_base);
96 sel4runtime_uintptr_t sel4runtime_write_tls_image(void *tls_memory);
112 sel4runtime_uintptr_t sel4runtime_move_initial_tls(void *tls_memory);
139 sel4runtime_uintptr_t dest_tls_base,
/seL4-camkes-master/projects/sel4runtime/src/
H A Dstart_root.c44 sel4runtime_uintptr_t tdata_start = (sel4runtime_uintptr_t) &_tdata_start[0];
45 sel4runtime_uintptr_t tdata_end = (sel4runtime_uintptr_t) &_tdata_end[0];
46 sel4runtime_uintptr_t tbss_end = (sel4runtime_uintptr_t) &_tbss_end[0];
H A Denv.c32 sel4runtime_uintptr_t tls_base;
50 sel4runtime_uintptr_t initial_thread_tls_base;
95 .initial_thread_tls_base = (sel4runtime_uintptr_t)SEL4RUNTIME_NULL,
104 static sel4runtime_uintptr_t tls_base_from_tls_region(unsigned char *tls_region);
105 static unsigned char *tls_from_tls_base(sel4runtime_uintptr_t tls_base);
154 return env.initial_thread_tls_base != (sel4runtime_uintptr_t)SEL4RUNTIME_NULL;
157 sel4runtime_uintptr_t sel4runtime_write_tls_image(void *tls_memory)
160 return (sel4runtime_uintptr_t)SEL4RUNTIME_NULL;
168 sel4runtime_uintptr_t sel4runtime_move_initial_tls(void *tls_memory)
171 return (sel4runtime_uintptr_t)SEL4RUNTIME_NUL
[all...]
H A Dmemset.c60 k = -(sel4runtime_uintptr_t)s & 3;
102 k = 24 + ((sel4runtime_uintptr_t)s & 4);
H A Dmemcpy.c47 for (; (sel4runtime_uintptr_t)s % 4 && n; n--) {
51 if ((sel4runtime_uintptr_t)d % 4 == 0) {
79 if (n >= 32) switch ((sel4runtime_uintptr_t)d % 4) {

Completed in 100 milliseconds