/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/arm_hyp/ |
H A D | guest_boot_sel4arch.h | 11 static inline void sel4arch_set_bootargs(seL4_UserContext *regs, seL4_Word pc, argument
|
/seL4-test-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-test-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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_boot_init.c | 15 seL4_UserContext regs; local
|
H A D | smc.c | 50 seL4_UserContext regs; local
|
H A D | psci.c | 42 seL4_UserContext regs; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/ |
H A D | guest_boot_sel4arch.h | 12 static inline void sel4arch_set_bootargs(seL4_UserContext *regs, seL4_Word pc, argument
|
/seL4-test-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-test-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-test-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-test-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-test-master/projects/musllibc/arch/aarch64/bits/ |
H A D | user.h | 2 unsigned long long regs[31]; member in struct:user_regs_struct
|
/seL4-test-master/projects/musllibc/arch/aarch64_sel4/bits/ |
H A D | user.h | 2 unsigned long long regs[31]; member in struct:user_regs_struct
|
/seL4-test-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-test-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-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_arm_context.c | 37 seL4_UserContext *regs; local 42 seL4_UserContext regs; local 62 seL4_UserContext *regs; local 67 seL4_UserContext regs; local 83 seL4_UserContext *regs; local 88 seL4_UserContext regs; local [all...] |
H A D | syscalls.c | 21 static void sys_pa_to_ipa(vm_t *vm, seL4_UserContext *regs) argument 72 static void sys_nop(vm_t *vm, seL4_UserContext *regs) argument 80 seL4_UserContext regs; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.h | 43 void *regs; member in struct:vm_lapic
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/arm_hyp/ |
H A D | fault.c | 56 void print_ctx_regs(seL4_UserContext *regs) argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/aarch64/ |
H A D | fault.c | 88 void print_ctx_regs(seL4_UserContext *regs) argument [all...] |
/seL4-test-master/projects/musllibc/arch/mips/bits/ |
H A D | user.h | 2 unsigned long regs[45+64]; member in struct:user
|
/seL4-test-master/projects/musllibc/arch/mips64/bits/ |
H A D | user.h | 2 unsigned long regs[102]; member in struct:user
|
/seL4-test-master/projects/musllibc/arch/mipsn32/bits/ |
H A D | user.h | 2 unsigned long regs[102]; member in struct:user
|
/seL4-test-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:__anon605
|
/seL4-test-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
|