/seL4-camkes-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-camkes-master/projects/capdl/python-capdl-tool/examples/ |
H A D | construct-address-space.py | 15 pc = capdl.create_address_space([ variable
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_boot_init.c | 13 int vcpu_set_bootargs(vm_vcpu_t *vcpu, seL4_Word pc, seL4_Word mach_type, seL4_Word atags) argument
|
/seL4-camkes-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-camkes-master/kernel/include/machine/ |
H A D | profiler.h | 64 word_t pc; member in struct:__anon17
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/ |
H A D | unknown_syscall_fault.c | 23 uintptr_t pc = seL4_GetMR(0); local
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch32/ |
H A D | unknown_syscall_fault.c | 31 uintptr_t pc = seL4_GetMR(8); local
|
/seL4-camkes-master/projects/musllibc/arch/aarch64/bits/ |
H A D | user.h | 4 unsigned long long pc; member in struct:user_regs_struct
|
H A D | signal.h | 21 unsigned long sp, pc, pstate; member in struct:sigcontext
|
/seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/bits/ |
H A D | user.h | 4 unsigned long long pc; member in struct:user_regs_struct
|
H A D | signal.h | 21 unsigned long sp, pc, pstate; member in struct:sigcontext
|
/seL4-camkes-master/projects/musllibc/src/ldso/arm/ |
H A D | find_exidx.c | 6 uintptr_t pc, exidx_start; member in struct:find_exidx_data 34 uintptr_t __gnu_Unwind_Find_exidx(uintptr_t pc, int *pcount) argument
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | profiler.c | 72 void profiler_record_sample(word_t pc) argument 129 void profiler_record_sample(word_t pc) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch64/ |
H A D | unknown_syscall_fault.c | 32 uintptr_t pc = seL4_GetMR(8); local
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | ip4_frag.h | 84 struct pbuf_custom pc; member in struct:pbuf_custom_ref
|
H A D | ip6_frag.h | 129 struct pbuf_custom pc; member in struct:pbuf_custom_ref
|
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_cancel.c | 55 uintptr_t pc = uc->uc_mcontext.MC_PC; local
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | fault.c | 106 uintptr_t pc = (uintptr_t)seL4_GetMR(0); local 163 uintptr_t pc = seL4_GetMR(0); local 187 uintptr_t pc = seL4_GetMR(0); local [all...] |
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | pk.c | 56 static void init_tf(trapframe_t* tf, long pc, long sp) argument
|
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/ |
H A D | sockets_priv.h | 118 const void *pc; member in union:lwip_setgetsockopt_data::__anon44
|
/seL4-camkes-master/projects/musllibc/arch/sh/bits/ |
H A D | user.h | 22 unsigned long pc; member in struct:pt_regs
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | types.h | 25 seL4_Word pc, sp, spsr, x0, x1, x2, x3, x4, x5, x6, x7, x8, x16, x17, x18, x29, x30; member in struct:seL4_UserContext_
|
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 29 seL4_Word pc; member in struct:seL4_UserContext_
|