/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_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-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/kernel/include/machine/ |
H A D | profiler.h | 64 word_t pc; member in struct:__anon17
|
/seL4-test-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-test-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-test-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-test-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-test-master/projects/musllibc/src/thread/ |
H A D | pthread_cancel.c | 55 uintptr_t pc = uc->uc_mcontext.MC_PC; local
|
/seL4-test-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-test-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-test-master/tools/riscv-pk/pk/ |
H A D | pk.c | 56 static void init_tf(trapframe_t* tf, long pc, long sp) argument
|
/seL4-test-master/projects/musllibc/arch/sh/bits/ |
H A D | user.h | 22 unsigned long pc; member in struct:pt_regs
|
/seL4-test-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-test-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | types.h | 29 seL4_Word pc; member in struct:seL4_UserContext_
|
/seL4-test-master/projects/musllibc/arch/or1k/bits/ |
H A D | signal.h | 14 unsigned long pc; member in struct:sigcontext::__anon150
|
/seL4-test-master/projects/musllibc/arch/riscv/bits/ |
H A D | signal.h | 9 unsigned long pc; member in struct:sigcontext::__anon161
|
/seL4-test-master/projects/musllibc/arch/riscv_sel4/bits/ |
H A D | signal.h | 9 unsigned long pc; member in struct:sigcontext::__anon163
|
/seL4-test-master/kernel/src/kernel/ |
H A D | thread.c | 52 word_t pc; local 55 setNextPC(NODE_STATE(ksCurThread), pc); local
|
/seL4-test-master/projects/musllibc/arch/microblaze/bits/ |
H A D | signal.h | 17 unsigned long pc, msr, ear, esr, fsr; member in struct:sigcontext::__anon130
|
/seL4-test-master/projects/musllibc/arch/mips64/bits/ |
H A D | signal.h | 51 greg_t pc; member in struct:__anon142
|
/seL4-test-master/projects/musllibc/arch/mipsn32/bits/ |
H A D | signal.h | 51 greg_t pc; member in struct:__anon148
|
/seL4-test-master/projects/musllibc/arch/mips/bits/ |
H A D | signal.h | 29 unsigned long long pc, gregs[32], fpregs[32]; member in struct:__anon136
|