| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/ |
| H A D | util.h | 20 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
25 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
30 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument
35 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/ |
| H A D | util.h | 22 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
28 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
34 sel4utils_get_sp(seL4_UserContext regs) argument
40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/ |
| H A D | util.h | 20 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
25 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
30 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument
35 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/ |
| H A D | util.h | 22 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
28 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
34 sel4utils_get_sp(seL4_UserContext regs) argument
40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-refos-master/libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | util.h | 30 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
36 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
42 sel4utils_get_sp(seL4_UserContext regs) argument
48 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/ |
| H A D | util.h | 32 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
37 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
52 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
| H A D | util.h | 28 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
34 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
46 sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
52 sel4utils_get_sp(seL4_UserContext regs) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/arm_hyp/sel4utils/sel4_arch/ |
| H A D | util.h | 32 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
37 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
52 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | util.h | 30 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
36 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
42 sel4utils_get_sp(seL4_UserContext regs) argument
48 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/ |
| H A D | util.h | 32 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
37 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
52 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
| H A D | util.h | 28 sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
34 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
46 sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
52 sel4utils_get_sp(seL4_UserContext regs) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/arm_hyp/sel4utils/sel4_arch/ |
| H A D | util.h | 32 static inline void sel4utils_set_instruction_pointer(seL4_UserContext *regs, seL4_Word value) argument
37 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument
42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument
47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument
52 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument
[all...] |
| /seL4-refos-master/libs/libmuslc/arch/aarch64/bits/ |
| H A D | user.h | 2 unsigned long long regs[31]; member in struct:user_regs_struct
|
| /seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/bits/ |
| H A D | user.h | 2 unsigned long long regs[31]; member in struct:user_regs_struct
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | faults.h | 75 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext regs, seL4_Word length) argument
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | faults.h | 75 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext regs, seL4_Word length) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/polarfire/ |
| H A D | uart.c | 28 uart_regs_t *regs = uart_get_priv(d); local
35 static void busy_wait_fifo_empty_and_tx_char(uart_regs_t *regs, int c) argument
47 uart_regs_t *regs = uart_get_priv(d); local
68 uart_regs_t *regs; local
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
| H A D | uart.c | 28 uart_regs_t *regs = uart_get_priv(d); local
35 static void busy_wait_fifo_empty_and_tx_char(uart_regs_t *regs, int c) argument
47 uart_regs_t *regs = uart_get_priv(d); local
68 uart_regs_t *regs; local
[all...] |
| /seL4-refos-master/libs/libmuslc/arch/mips/bits/ |
| H A D | user.h | 2 unsigned long regs[45+64]; member in struct:user
|
| /seL4-refos-master/libs/libmuslc/arch/mips64/bits/ |
| H A D | user.h | 2 unsigned long regs[102]; member in struct:user
|
| /seL4-refos-master/libs/libmuslc/arch/mipsn32/bits/ |
| H A D | user.h | 2 unsigned long regs[102]; member in struct:user
|
| /seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | system_timer.h | 60 system_timer_regs_t *regs; member in struct:__anon513
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | rtc.c | 52 rtc_regs_t *regs = rtc_get_regs(rtc); local
66 rtc_regs_t *regs = rtc_get_regs(rtc); local
73 rtc_regs_t *regs = rtc_get_regs(rtc); local
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | system_timer.h | 60 system_timer_regs_t *regs; member in struct:__anon944
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | rtc.c | 52 rtc_regs_t *regs = rtc_get_regs(rtc); local
66 rtc_regs_t *regs = rtc_get_regs(rtc); local
73 rtc_regs_t *regs = rtc_get_regs(rtc); local
|