/seL4-camkes-master/projects/musllibc/arch/riscv/ |
H A D | reloc.h | 6 #define CRTJMP(pc,sp) __asm__ __volatile__( \ 7 ".word 0x00000000": : "r"(pc), "r"(sp) : "memory" )
|
/seL4-camkes-master/projects/musllibc/arch/riscv_sel4/ |
H A D | reloc.h | 6 #define CRTJMP(pc,sp) __asm__ __volatile__( \ 7 ".word 0x00000000": : "r"(pc), "r"(sp) : "memory" )
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/imx6/ |
H A D | monitor.S | 29 /* pc contains the current instruction + 8 bytes 30 * use pc-relative addressing so we can copy the 36 ldr pc, [pc, #28] 37 ldr pc, [pc, #24] 38 ldr pc, [pc, #16] 39 ldr pc, [pc, #1 [all...] |
/seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/tk1/ |
H A D | monitor.S | 29 /* pc contains the current instruction + 8 bytes 30 * use pc-relative addressing so we can copy the 36 ldr pc, [pc, #28] 37 ldr pc, [pc, #24] 38 ldr pc, [pc, #16] 39 ldr pc, [pc, #1 [all...] |
/seL4-camkes-master/projects/capdl/python-capdl-tool/examples/ |
H A D | construct-address-space.py | 15 pc = capdl.create_address_space([ variable 21 print(pc.get_spec())
|
/seL4-camkes-master/kernel/src/machine/ |
H A D | profiler.c | 47 profiler_entries[i].pc = 0; 62 if (profiler_entries[i].pc != 0) { 72 void profiler_record_sample(word_t pc) argument 78 if (!profiler_entries[checkpoint].pc) { 79 profiler_entries[checkpoint].pc = 1; 90 profiler_entries[i].pc = 0; 110 if (profiler_entries[i].pc != 0) { 111 printf("%x %d\n", (unsigned int)profiler_entries[i].pc, 129 void profiler_record_sample(word_t pc) argument 140 word_t hash = (pc >> [all...] |
/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 17 regs->pc = pc;
|
/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 16 regs->pc = pc;
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch32/ |
H A D | crt0.S | 18 ldr pc, =_camkes_start_c
|
/seL4-camkes-master/projects/musllibc/arch/microblaze/ |
H A D | pthread_arch.h | 10 #define MC_PC regs.pc
|
/seL4-camkes-master/tools/rumprun/platform/hw/arch/arm/integrator/ |
H A D | locore.S | 66 ldr pc, [pc, #24] 67 ldr pc, [pc, #24] 68 ldr pc, [pc, #24] 69 ldr pc, [pc, #24] 70 ldr pc, [pc, #2 [all...] |
/seL4-camkes-master/projects/musllibc/arch/s390x/ |
H A D | reloc.h | 14 #define CRTJMP(pc,sp) __asm__ __volatile__( \ 15 "lgr %%r15,%1; br %0" : : "r"(pc), "r"(sp) : "memory" )
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/32/ |
H A D | traps.S | 15 ldr pc, =invalid_vector_entry 16 ldr pc, =invalid_vector_entry 17 ldr pc, =invalid_vector_entry 18 ldr pc, =invalid_vector_entry 19 ldr pc, =arm_data_abort_exception 20 ldr pc, =invalid_vector_entry 21 ldr pc, =arm_irq_exception 22 ldr pc, =invalid_vector_entry
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ |
H A D | guest_boot_init.h | 18 * @function vcpu_set_bootargs(vcpu, pc, mach_type, atags) 19 * Set the boot args and pc for the VM. 25 * @param {seL4_Word} pc The initial PC for the VM 30 int vcpu_set_bootargs(vm_vcpu_t *vcpu, seL4_Word pc, seL4_Word mach_type, seL4_Word atags);
|
/seL4-camkes-master/projects/musllibc/arch/aarch64/bits/ |
H A D | user.h | 4 unsigned long long pc; member in struct:user_regs_struct
|
/seL4-camkes-master/projects/musllibc/arch/aarch64/ |
H A D | pthread_arch.h | 11 #define MC_PC pc
|
H A D | reloc.h | 25 #define CRTJMP(pc,sp) __asm__ __volatile__( \ 26 "mov sp,%1 ; br %0" : : "r"(pc), "r"(sp) : "memory" )
|
/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
|
/seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/ |
H A D | pthread_arch.h | 11 #define MC_PC pc
|
H A D | reloc.h | 25 #define CRTJMP(pc,sp) __asm__ __volatile__( \ 26 "mov sp,%1 ; br %0" : : "r"(pc), "r"(sp) : "memory" )
|
/seL4-camkes-master/projects/musllibc/arch/sh/ |
H A D | reloc.h | 43 #define CRTJMP(pc,sp) do { \ 46 : : "r"(pc), "r"(sp), "r"(r8) : "memory" ); } while(0) 52 #define CRTJMP(pc,sp) __asm__ __volatile__( \ 53 "jmp @%0 ; mov %1,r15" : : "r"(pc), "r"(sp) : "memory" )
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv8-a/32/ |
H A D | smc.S | 16 ldmfd sp!, {r3-r11, pc} 24 ldmfd sp!, {r3-r11, pc}
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv7-a/32/ |
H A D | smc.S | 16 ldmfd sp!, {r3-r11, pc} 24 ldmfd sp!, {r3-r11, pc}
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv7ve/32/ |
H A D | smc.S | 16 ldmfd sp!, {r3-r11, pc} 24 ldmfd sp!, {r3-r11, pc}
|
/seL4-camkes-master/projects/musllibc/arch/arm/ |
H A D | reloc.h | 31 #define CRTJMP(pc,sp) __asm__ __volatile__( \ 32 "mov sp,%1 ; bx %0" : : "r"(pc), "r"(sp) : "memory" )
|