Searched defs:regs (Results 1 - 25 of 96) sorted by relevance

1234

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/arm_hyp/
H A Dguest_boot_sel4arch.h11 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 Dutil.h20 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 Dutil.h22 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 Dguest_boot_init.c15 seL4_UserContext regs; local
H A Dsmc.c50 seL4_UserContext regs; local
H A Dpsci.c42 seL4_UserContext regs; local
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/sel4_arch/aarch64/
H A Dguest_boot_sel4arch.h12 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 Dutil.h30 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 Dutil.h32 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 Dutil.h28 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 Dutil.h32 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 Duser.h2 unsigned long long regs[31]; member in struct:user_regs_struct
/seL4-test-master/projects/musllibc/arch/aarch64_sel4/bits/
H A Duser.h2 unsigned long long regs[31]; member in struct:user_regs_struct
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dfaults.h75 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 Duart.c28 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 Dguest_arm_context.c37 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 Dsyscalls.c21 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 Dlapic.h43 void *regs; member in struct:vm_lapic
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/arm_hyp/
H A Dfault.c56 void print_ctx_regs(seL4_UserContext *regs) argument
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/aarch64/
H A Dfault.c88 void print_ctx_regs(seL4_UserContext *regs) argument
[all...]
/seL4-test-master/projects/musllibc/arch/mips/bits/
H A Duser.h2 unsigned long regs[45+64]; member in struct:user
/seL4-test-master/projects/musllibc/arch/mips64/bits/
H A Duser.h2 unsigned long regs[102]; member in struct:user
/seL4-test-master/projects/musllibc/arch/mipsn32/bits/
H A Duser.h2 unsigned long regs[102]; member in struct:user
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dsystem_timer.h60 system_timer_regs_t *regs; member in struct:__anon605
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Drtc.c52 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

Completed in 251 milliseconds

1234