/seL4-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-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-refos-master/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-refos-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-refos-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-refos-master/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-refos-master/libs/libmuslc/arch/microblaze/ |
H A D | pthread_arch.h | 10 #define MC_PC regs.pc
|
/seL4-refos-master/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-refos-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-refos-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-refos-master/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...] |
H A D | serial.c | 173 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 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...] |