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

123456

/seL4-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/libs/libmuslc/arch/microblaze/
H A Dpthread_arch.h10 #define MC_PC regs.pc
/seL4-refos-master/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-refos-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-refos-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-refos-master/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...]
H A Dserial.c173 zynq_uart_regs_t *regs)
175 regs->cr &= ~UART_CR_TXDIS;
176 regs->cr |= UART_CR_TXEN;
180 zynq_uart_regs_t *regs)
182 regs->cr &= ~UART_CR_RXDIS;
183 regs->cr |= UART_CR_RXEN;
189 zynq_uart_regs_t *regs = zynq_uart_get_priv(d); local
192 uint32_t imr = regs->imr;
193 regs->idr = imr;
195 if (!(regs
172 zynq_uart_enable_tx( zynq_uart_regs_t *regs) argument
179 zynq_uart_enable_rx( zynq_uart_regs_t *regs) argument
216 zynq_uart_regs_t *regs = zynq_uart_get_priv(d); local
247 zynq_uart_regs_t *regs = zynq_uart_get_priv(d); local
323 zynq_uart_regs_t *regs = zynq_uart_get_priv(d); local
364 zynq_uart_regs_t *regs = zynq_uart_get_priv(d); local
444 zynq_uart_regs_t *regs = zynq_uart_get_priv(dev); local
[all...]
/seL4-refos-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 206 milliseconds

123456