Searched refs:regs (Results 1 - 25 of 115) sorted by relevance

12345

/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
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 Dguest_boot_sel4arch.h11 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 Dutil.h28 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 Dutil.h30 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 Dutil.h22 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 Dguest_boot_sel4arch.h12 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 Dutil.h32 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 Dutil.h32 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 Dguest_arm_context.c37 seL4_UserContext *regs; local
38 regs = fault_get_ctx(vcpu->vcpu_arch.fault);
39 (&regs->pc)[reg] = value;
42 seL4_UserContext regs; local
43 int err = seL4_TCB_ReadRegisters(tcb, false, 0, sizeof(regs) / sizeof(regs.pc), &regs);
48 (&regs.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 Dsyscalls.c21 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 Dfp_emulation.h14 # 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 Dfp_ldst.c8 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 Demulation.h12 #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 Dfp_emulation.c49 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 Duart.c28 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 Dfault.c87 #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 Dmeson_timer.c25 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 Dfault.c55 #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 Duart.c53 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 Dpsci.c42 seL4_UserContext regs; local
43 err = vm_get_thread_context(vcpu, &regs);
50 smc_set_return_value(&regs, 0x00010000); /* version 1 */
53 uintptr_t target_cpu = smc_get_arg(&regs, 1);
54 uintptr_t entry_point_address = smc_get_arg(&regs, 2);
55 uintptr_t context_id = smc_get_arg(&regs, 3);
60 smc_set_return_value(&regs, PSCI_SUCCESS);
62 smc_set_return_value(&regs, PSCI_INTERNAL_FAILURE);
66 smc_set_return_value(&regs, PSCI_ALREADY_ON);
68 smc_set_return_value(&regs, PSCI_INTERNAL_FAILUR
[all...]
H A Dguest_boot_init.c15 seL4_UserContext regs; local
20 sel4arch_set_bootargs(&regs, pc, mach_type, atags);
23 int err = vm_set_thread_context(vcpu, regs);
/seL4-test-master/projects/musllibc/arch/microblaze/
H A Dpthread_arch.h10 #define MC_PC regs.pc
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c32 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 Denet.c270 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 Daxi_uartlite.c49 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...]

Completed in 114 milliseconds

12345