/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 22 regs->eip = value; 25 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument 27 return regs.eip; 30 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument 32 return regs.esp; 35 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument 37 regs->esp = value;
|
/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 14 regs->r0 = 0; 15 regs->r1 = mach_type; 16 regs->r2 = atags; 17 regs->pc = pc; 18 regs->cpsr = MODE_SUPERVISOR;
|
/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 30 regs->pc = value; 34 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument 36 return regs.pc; 40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument 42 regs->sp = value; 46 sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument 48 regs->x0 = value; 52 sel4utils_get_sp(seL4_UserContext regs) argument 54 return regs [all...] |
/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 32 regs->pc = value; 36 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument 38 return regs.pc; 42 sel4utils_get_sp(seL4_UserContext regs) argument 44 return regs.sp; 48 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument 50 regs->sp = value;
|
/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 24 regs->rip = value; 28 sel4utils_get_instruction_pointer(seL4_UserContext regs) argument 30 return regs.rip; 34 sel4utils_get_sp(seL4_UserContext regs) argument 36 return regs.rsp; 40 sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument 42 regs->rsp = value;
|
/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 15 regs->x0 = atags; 16 regs->pc = pc; 17 regs->spsr = SPSR_EL1;
|
/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 34 regs->pc = value; 37 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument 39 return regs.pc; 42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument 44 regs->sp = value; 47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument 49 regs->r0 = value; 52 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument 54 return regs [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 34 regs->pc = value; 37 static inline seL4_Word sel4utils_get_instruction_pointer(seL4_UserContext regs) argument 39 return regs.pc; 42 static inline void sel4utils_set_stack_pointer(seL4_UserContext *regs, seL4_Word value) argument 44 regs->sp = value; 47 static inline void sel4utils_set_arg0(seL4_UserContext *regs, seL4_Word value) argument 49 regs->r0 = value; 52 static inline seL4_Word sel4utils_get_sp(seL4_UserContext regs) argument 54 return regs [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_arm_context.c | 37 seL4_UserContext *regs; local 38 regs = fault_get_ctx(vcpu->vcpu_arch.fault); 39 (®s->pc)[reg] = value; 42 seL4_UserContext regs; local 43 int err = seL4_TCB_ReadRegisters(tcb, false, 0, sizeof(regs) / sizeof(regs.pc), ®s); 48 (®s.pc)[reg] = value; 49 err = seL4_TCB_WriteRegisters(tcb, false, 0, sizeof(regs) / sizeof(regs 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 26 pa = regs->r0; 32 regs->r0 = pa; 40 static void sys_ipa_to_pa(vm_t *vm, seL4_UserContext *regs) 48 ipa = regs->r0; 67 regs->r0 = ret.paddr; 72 static void sys_nop(vm_t *vm, seL4_UserContext *regs) argument 80 seL4_UserContext regs; local 90 err = seL4_TCB_ReadRegisters(tcb, false, 0, sizeof(regs) / sizeof(regs [all...] |
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | fp_emulation.h | 14 # define GET_F32_REG(insn, pos, regs) ({ \ 19 # define SET_F32_REG(insn, pos, regs, val) ({ \ 25 # define GET_F64_REG(insn, pos, regs) ({ \ 30 # define SET_F64_REG(insn, pos, regs, val) ({ \ 46 else if (GET_RM(insn) > 4) return truly_illegal_insn(regs, mcause, mepc, mstatus, insn); \ 53 # define GET_F64_REG(insn, pos, regs) (*(int64_t*)((void*)((regs) + 32) + (SHIFT_RIGHT(insn, (pos)-3) & 0xf8))) 54 # define SET_F64_REG(insn, pos, regs, val) (GET_F64_REG(insn, pos, regs) = (val)) 55 # define GET_F32_REG(insn, pos, regs) (*(int32_ [all...] |
H A D | fp_ldst.c | 8 return write_csr(mbadaddr, addr), (handler)(regs, mcause, mepc) 12 uintptr_t addr = GET_RS1(insn, regs) + IMM_I(insn); 16 return truly_illegal_insn(regs, mcause, mepc, mstatus, insn); 22 SET_F32_RD(insn, regs, load_int32_t((void *)addr, mepc)); 27 SET_F64_RD(insn, regs, load_uint64_t((void *)addr, mepc)); 31 return truly_illegal_insn(regs, mcause, mepc, mstatus, insn); 37 uintptr_t addr = GET_RS1(insn, regs) + IMM_S(insn); 41 return truly_illegal_insn(regs, mcause, mepc, mstatus, insn); 47 store_uint32_t((void *)addr, GET_F32_RS2(insn, regs), mepc); 52 store_uint64_t((void *)addr, GET_F64_RS2(insn, regs), mep [all...] |
H A D | emulation.h | 12 #define DECLARE_EMULATION_FUNC(name) void name(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc, uintptr_t mstatus, insn_t insn) 14 void misaligned_load_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc); 15 void misaligned_store_trap(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc); 38 #define GET_REG(insn, pos, regs) ({ \ 40 (uintptr_t*)((uintptr_t)regs + (SHIFT_RIGHT(insn, (pos) - LOG_REGBYTES) & (mask))); \ 42 #define GET_RS1(insn, regs) (*GET_REG(insn, SH_RS1, regs)) 43 #define GET_RS2(insn, regs) (*GET_REG(insn, SH_RS2, regs)) 44 #define GET_RS1S(insn, regs) (*GET_RE [all...] |
H A D | fp_emulation.c | 49 return truly_illegal_insn(regs, mcause, mepc, mstatus, insn); 56 return f(regs, mcause, mepc, mstatus, insn); 62 void emulate_any_fadd(uintptr_t* regs, uintptr_t mcause, uintptr_t mepc, uintptr_t mstatus, insn_t insn, int32_t neg_b) argument 65 uint32_t rs1 = GET_F32_RS1(insn, regs); 66 uint32_t rs2 = GET_F32_RS2(insn, regs) ^ neg_b; 67 SET_F32_RD(insn, regs, f32_add(f32(rs1), f32(rs2)).v); 69 uint64_t rs1 = GET_F64_RS1(insn, regs); 70 uint64_t rs2 = GET_F64_RS2(insn, regs) ^ ((uint64_t)neg_b << 32); 71 SET_F64_RD(insn, regs, f64_add(f64(rs1), f64(rs2)).v); 73 return truly_illegal_insn(regs, mcaus [all...] |
/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 29 if (regs->line_status & LSR_DATA_READY_MASK) { 30 return regs->rx_buffer; 35 static void busy_wait_fifo_empty_and_tx_char(uart_regs_t *regs, int c) argument 38 while ((regs->line_status & LSR_TX_HOLD_REG_EMPTY_MASK) == 0) { 42 regs->tx_buffer = c; 47 uart_regs_t *regs = uart_get_priv(d); local 51 busy_wait_fifo_empty_and_tx_char(regs, '\r'); 54 busy_wait_fifo_empty_and_tx_char(regs, c); 68 uart_regs_t *regs; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/aarch64/ |
H A D | fault.c | 87 #define PREG(regs, r) printf(#r ": 0x%lx\n", regs->r) 88 void print_ctx_regs(seL4_UserContext *regs) argument 90 PREG(regs, x0); 91 PREG(regs, x1); 92 PREG(regs, x2); 93 PREG(regs, x3); 94 PREG(regs, x4); 95 PREG(regs, x5); 96 PREG(regs, x [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | meson_timer.c | 25 timer->regs = (void *)((uintptr_t) config.vaddr + (TIMER_BASE + TIMER_REG_START * 4 - TIMER_MAP_BASE)); 27 timer->regs->mux = TIMER_A_EN | (TIMESTAMP_TIMEBASE_1_US << TIMER_E_INPUT_CLK) | 30 timer->regs->timer_e = 0; 37 uint64_t initial_high = timer->regs->timer_e_hi; 38 uint64_t low = timer->regs->timer_e; 39 uint64_t high = timer->regs->timer_e_hi; 41 low = timer->regs->timer_e; 52 timer->regs->mux |= TIMER_A_MODE; 54 timer->regs->mux &= ~TIMER_A_MODE; 57 timer->regs [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/sel4_arch/arm_hyp/ |
H A D | fault.c | 55 #define PREG(regs, r) printf(#r ": 0x%x\n", regs->r) 56 void print_ctx_regs(seL4_UserContext *regs) argument 58 PREG(regs, r0); 59 PREG(regs, r1); 60 PREG(regs, r2); 61 PREG(regs, r3); 62 PREG(regs, r4); 63 PREG(regs, r5); 64 PREG(regs, r [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | uart.c | 53 uart_regs_t* regs = uart_get_priv(d); local 54 uint32_t reg = regs->rxdata; 65 uart_regs_t* regs = uart_get_priv(d); local 66 if (!(regs->txdata & UART_TX_DATA_FULL)) { 68 regs->txdata = '\r' & UART_TX_DATA_MASK; 69 while(regs->txdata & UART_TX_DATA_FULL) {} 71 regs->txdata = c & UART_TX_DATA_MASK; 89 uart_regs_t* regs; local 108 regs = uart_get_priv(dev); 115 regs [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | psci.c | 42 seL4_UserContext regs; local 43 err = vm_get_thread_context(vcpu, ®s); 50 smc_set_return_value(®s, 0x00010000); /* version 1 */ 53 uintptr_t target_cpu = smc_get_arg(®s, 1); 54 uintptr_t entry_point_address = smc_get_arg(®s, 2); 55 uintptr_t context_id = smc_get_arg(®s, 3); 60 smc_set_return_value(®s, PSCI_SUCCESS); 62 smc_set_return_value(®s, PSCI_INTERNAL_FAILURE); 66 smc_set_return_value(®s, PSCI_ALREADY_ON); 68 smc_set_return_value(®s, PSCI_INTERNAL_FAILUR [all...] |
H A D | guest_boot_init.c | 15 seL4_UserContext regs; local 20 sel4arch_set_bootargs(®s, pc, mach_type, atags); 23 int err = vm_set_thread_context(vcpu, regs);
|
/seL4-test-master/projects/musllibc/arch/microblaze/ |
H A D | pthread_arch.h | 10 #define MC_PC regs.pc
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | system_timer.c | 32 timer->regs = config.vaddr; 42 uint64_t initial_high = timer->regs->counter_high; 43 uint64_t low = timer->regs->counter_low; 44 uint64_t high = timer->regs->counter_high; 47 low = timer->regs->counter_low; 74 timer->regs->ctrl = BIT(SYSTEM_TIMER_MATCH); 77 timer->regs->compare[SYSTEM_TIMER_MATCH] = timeout; 80 if (time >= ns && !(timer->regs->ctrl & BIT(SYSTEM_TIMER_MATCH))) { 81 timer->regs->ctrl = BIT(SYSTEM_TIMER_MATCH); 94 timer->regs [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | enet.c | 270 enet_regs_t *regs = (enet_regs_t *)clk->priv; local 272 uint32_t v = (regs->mscr >> 1) & 0x3f; 279 enet_regs_t *regs = (enet_regs_t *)clk->priv; local 297 regs->mscr = v << 1; 350 enet_regs_t *regs = enet_get_regs(enet); local 351 uint32_t ecr = regs->ecr; 352 uint32_t rcr = regs->rcr; 382 regs->ecr = ecr; 383 regs->rcr = rcr; 392 enet_regs_t *regs local 409 enet_regs_t *regs = enet_get_regs(enet); local 447 enet_regs_t *regs = enet_get_regs(enet); local 453 enet_regs_t *regs = enet_get_regs(enet); local 459 enet_regs_t *regs = enet_get_regs(enet); local 466 enet_regs_t *regs = enet_get_regs(enet); local 473 enet_regs_t *regs = enet_get_regs(enet); local 499 enet_regs_t *regs = enet_get_regs(enet); local 508 enet_regs_t *regs = enet_get_regs(enet); local 514 enet_regs_t *regs = enet_get_regs(enet); local 521 enet_regs_t *regs; local 650 enet_regs_t *regs = enet_get_regs(enet); local 658 enet_regs_t *regs = enet_get_regs(enet); local 672 enet_regs_t *regs = enet_get_regs(enet); local 697 enet_regs_t *regs = enet_get_regs(enet); local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | axi_uartlite.c | 49 zynq_axi_uartlite_regs_t *regs = local 55 if (regs->sr & AXI_UARTLITE_SR_RX_FIFO_VALID) { 56 c = regs->rx_fifo; 67 zynq_axi_uartlite_regs_t *regs = local 71 if (regs->sr & AXI_UARTLITE_SR_TX_FIFO_FULL) { 77 regs->tx_fifo = '\n'; 79 if (regs->sr & AXI_UARTLITE_SR_TX_FIFO_FULL) { 84 regs->tx_fifo = '\r'; 86 if (regs->sr & AXI_UARTLITE_SR_TX_FIFO_FULL) { 91 regs 138 zynq_axi_uartlite_regs_t *regs = zynq_axi_uartlite_get_priv(dev); local [all...] |