/l4re-core-master/l4sys/include/ |
A D | arm_smccc.h | 15 l4_umword_t in1, l4_umword_t in2, l4_umword_t in3, 16 l4_umword_t in4, l4_umword_t in5, l4_umword_t *out0, 17 l4_umword_t *out1, l4_umword_t *out2, l4_umword_t *out3, 22 l4_umword_t in1, l4_umword_t in2, l4_umword_t in3, 23 l4_umword_t in4, l4_umword_t in5, l4_umword_t *out0, 24 l4_umword_t *out1, l4_umword_t *out2, l4_umword_t *out3, 33 l4_umword_t in0, l4_umword_t in1, in l4_arm_smccc_call() 34 l4_umword_t in2, l4_umword_t in3, in l4_arm_smccc_call() 47 l4_umword_t in1, l4_umword_t in2, l4_umword_t in3, in l4_arm_smccc_call_u() 48 l4_umword_t in4, l4_umword_t in5, l4_umword_t *out0, in l4_arm_smccc_call_u() [all …]
|
A D | __kip-32bit.h | 58 l4_umword_t _res00[3]; ///< default_kdebug_end 64 l4_umword_t _res01[2]; ///< reserved \internal 70 l4_umword_t _res02[2]; ///< reserved \internal 76 l4_umword_t _res03[2]; ///< reserved \internal 80 l4_umword_t _res50[1]; ///< reserved \internal 81 l4_umword_t mem_info; ///< memory information 82 l4_umword_t _res58[2]; ///< reserved \internal 93 l4_umword_t frequency_bus; ///< Bus frequency 99 l4_umword_t user_ptr; ///< user_ptr 100 l4_umword_t vhw_offset; ///< offset to vhw structure [all …]
|
A D | __kip-64bit.h | 56 l4_umword_t _res00[3]; ///< default_kdebug_end 62 l4_umword_t _res01[2]; ///< reserved \internal 68 l4_umword_t _res02[2]; ///< reserved \internal 74 l4_umword_t _res03[2]; ///< reserved \internal 78 l4_umword_t _res_a0[1]; ///< reserved \internal 79 l4_umword_t mem_info; ///< memory information 80 l4_umword_t _res_b0[2]; ///< reserver \internal 89 l4_umword_t frequency_bus; ///< Bus frequency 95 l4_umword_t user_ptr; ///< user_ptr 96 l4_umword_t vhw_offset; ///< offset to vhw structure [all …]
|
A D | platform_control.h | 64 l4_umword_t extras, 85 l4_umword_t reboot, 99 l4_umword_t phys_id, 108 l4_umword_t enable, 129 l4_umword_t phys_id, 151 l4_umword_t phys_id, 194 l4_umword_t extras, in l4_platform_ctl_system_suspend_u() 206 l4_umword_t reboot, in l4_platform_ctl_system_shutdown_u() 247 l4_umword_t phys_id, in l4_platform_ctl_cpu_allow_shutdown() 255 l4_umword_t phys_id, in l4_platform_ctl_cpu_enable_u() [all …]
|
A D | memdesc.h | 77 l4_umword_t l; 128 l4_umword_t 138 l4_umword_t 148 l4_umword_t 161 l4_umword_t 171 l4_umword_t 209 l4_umword_t 216 l4_umword_t 223 l4_umword_t 230 l4_umword_t [all …]
|
A D | arm_smccc | 30 (l4_umword_t func, l4_umword_t in0, l4_umword_t in1, 31 l4_umword_t in2, l4_umword_t in3, l4_umword_t in4, 32 l4_umword_t in5, l4_umword_t *out0, l4_umword_t *out1, 33 l4_umword_t *out2, l4_umword_t *out3, 34 l4_umword_t client_id));
|
/l4re-core-master/l4sys/include/ARCH-amd64/ |
A D | __vcpu-arch.h | 36 l4_umword_t host_fs_base; 37 l4_umword_t host_gs_base; 58 l4_umword_t r9; /**< r9 register */ 71 l4_umword_t err; /**< error code */ 75 l4_umword_t flags; /**< eflags */ 77 l4_umword_t ss; 78 l4_umword_t fs_base; 79 l4_umword_t gs_base; 90 l4_umword_t _res[1]; 91 l4_umword_t label; [all …]
|
A D | utcb.h | 59 l4_umword_t r15; /**< r15 */ 60 l4_umword_t r14; /**< r14 */ 61 l4_umword_t r13; /**< r13 */ 62 l4_umword_t r12; /**< r12 */ 63 l4_umword_t r11; /**< r11 */ 64 l4_umword_t r10; /**< r10 */ 65 l4_umword_t r9; /**< r9 */ 66 l4_umword_t r8; /**< r8 */ 79 l4_umword_t dummy1; 83 l4_umword_t fs_base; [all …]
|
/l4re-core-master/l4sys/include/ARCH-mips/ |
A D | vm.h | 250 l4_umword_t mask; 251 l4_umword_t entry_hi; 252 l4_umword_t entry_lo[2]; 264 l4_umword_t version; 265 l4_umword_t size; 274 l4_umword_t guest_ctl_0_ext; 282 l4_umword_t guest_timer_offset; 290 l4_umword_t guest_ctl_1; 298 l4_umword_t guest_ctl_2; 332 l4_umword_t guest_ctl_0; [all …]
|
A D | utcb.h | 33 l4_umword_t at; 40 l4_umword_t gp; 41 l4_umword_t sp; 42 l4_umword_t s8; 43 l4_umword_t ra; 46 l4_umword_t hi, lo; 49 l4_umword_t pfa; 52 l4_umword_t cause; 56 l4_umword_t epc; 57 l4_umword_t ip; [all …]
|
/l4re-core-master/l4sys/include/ARCH-x86/ |
A D | __vcpu-arch.h | 40 l4_umword_t es; /**< gs register */ 41 l4_umword_t ds; /**< fs register */ 42 l4_umword_t gs; /**< gs register */ 43 l4_umword_t fs; /**< fs register */ 54 l4_umword_t trapno; /**< trap number */ 55 l4_umword_t err; /**< error code */ 59 l4_umword_t flags; /**< eflags */ 61 l4_umword_t ss; /**< ss register */ 72 l4_umword_t _res[2]; 73 l4_umword_t label; [all …]
|
A D | utcb.h | 74 l4_umword_t es; /**< es register */ 75 l4_umword_t ds; /**< ds register */ 76 l4_umword_t gs; /**< gs register */ 77 l4_umword_t fs; /**< fs register */ 79 l4_umword_t edi; /**< edi register */ 80 l4_umword_t esi; /**< esi register */ 81 l4_umword_t ebp; /**< ebp register */ 88 l4_umword_t trapno; /**< trap number */ 89 l4_umword_t err; /**< error code */ 93 l4_umword_t flags; /**< eflags */ [all …]
|
/l4re-core-master/l4util/include/ARCH-x86/ |
A D | port_io.h | 75 l4util_ins8(l4_uint16_t port, l4_umword_t addr, l4_umword_t count); 85 l4util_ins16(l4_uint16_t port, l4_umword_t addr, l4_umword_t count); 95 l4util_ins32(l4_uint16_t port, l4_umword_t addr, l4_umword_t count); 133 l4util_outs8(l4_uint16_t port, l4_umword_t addr, l4_umword_t count); 144 l4util_outs16(l4_uint16_t port, l4_umword_t addr, l4_umword_t count); 154 l4util_outs32(l4_uint16_t port, l4_umword_t addr, l4_umword_t count); 196 l4util_ins8(l4_uint16_t port, l4_umword_t addr, l4_umword_t count) in l4util_ins8() 205 l4util_ins16(l4_uint16_t port, l4_umword_t addr, l4_umword_t count) in l4util_ins16() 214 l4util_ins32(l4_uint16_t port, l4_umword_t addr, l4_umword_t count) in l4util_ins32() 241 l4util_outs8(l4_uint16_t port, l4_umword_t addr, l4_umword_t count) in l4util_outs8() [all …]
|
/l4re-core-master/l4sys/include/ARCH-arm64/ |
A D | utcb.h | 40 l4_umword_t eret_work; 41 l4_umword_t r[31]; 42 l4_umword_t reserved; 43 l4_umword_t err; 45 l4_umword_t pfa; 46 l4_umword_t sp; 47 union { l4_umword_t ip; l4_umword_t pc; }; /* aliases for PC */ 48 union { l4_umword_t flags; l4_umword_t pstate; }; /* aliases for PSTATE (PSR) */ 49 l4_umword_t tpidruro; 64 L4_UTCB_BUF_REGS_OFFSET = 64 * sizeof(l4_umword_t), [all …]
|
/l4re-core-master/l4sys/include/ARCH-ppc32/ |
A D | utcb.h | 59 l4_umword_t pfa; /**< page fault address */ 60 l4_umword_t err; /**< error code */ 62 l4_umword_t r[28]; /** GPR 0,3 .. 10, 13 .. 31 */ 64 l4_umword_t ctr; /**< count register */ 65 l4_umword_t cr; /**< condition register */ 66 l4_umword_t dummy; /**< dummy */ 67 l4_umword_t srr0; /**< IP */ 68 l4_umword_t lr; /**< ulr */ 69 l4_umword_t sp; /**< stack pointer */ 70 l4_umword_t r12; /**< GPR 12 */ [all …]
|
A D | __vcpu-arch.h | 39 l4_umword_t pfa; 40 l4_umword_t err; 42 l4_umword_t r[28]; 43 l4_umword_t sp; 44 l4_umword_t lr; 45 l4_umword_t _dummy; 46 l4_umword_t ip; 47 l4_umword_t flags; 61 l4_umword_t _d1[3]; 62 l4_umword_t label; [all …]
|
/l4re-core-master/l4sys/include/ARCH-arm/ |
A D | __vcpu-arch.h | 41 l4_umword_t pfa; 42 l4_umword_t err; 44 l4_umword_t r[13]; 46 l4_umword_t sp; 47 l4_umword_t lr; 48 l4_umword_t _dummy; 49 l4_umword_t ip; 50 l4_umword_t flags; 66 l4_umword_t _d1[3]; 67 l4_umword_t label; [all …]
|
A D | vm.h | 37 l4_umword_t sp; 38 l4_umword_t lr; 39 l4_umword_t spsr; 56 l4_umword_t sp_usr; 57 l4_umword_t lr_usr; 67 l4_umword_t pc; 68 l4_umword_t cpsr; 72 l4_umword_t cp10_fpexc; 74 l4_umword_t pfs; 75 l4_umword_t pfa; [all …]
|
A D | utcb.h | 40 l4_umword_t pfa; /**< page fault address */ 41 l4_umword_t err; /**< error code */ 43 l4_umword_t r[13]; /**< registers */ 44 l4_umword_t sp; /**< stack pointer */ 45 l4_umword_t ulr; /**< ulr */ 46 l4_umword_t _dummy1; /**< dummy \internal */ 47 l4_umword_t pc; /**< pc */ 48 l4_umword_t cpsr; /**< cpsr */ 49 l4_umword_t tpidruro;/**< Thread-ID register */ 64 L4_UTCB_BUF_REGS_OFFSET = 64 * sizeof(l4_umword_t), [all …]
|
/l4re-core-master/l4sys/include/ARCH-sparc/ |
A D | __vcpu-arch.h | 40 l4_umword_t pfa; 41 l4_umword_t err; 43 l4_umword_t r[13]; 45 l4_umword_t sp; 46 l4_umword_t lr; 47 l4_umword_t _dummy; 48 l4_umword_t ip; 49 l4_umword_t flags; 61 l4_umword_t _d1[3]; 62 l4_umword_t label; [all …]
|
A D | utcb.h | 46 L4_UTCB_BUF_REGS_OFFSET = 64 * sizeof(l4_umword_t), 47 L4_UTCB_THREAD_REGS_OFFSET = 123 * sizeof(l4_umword_t), 60 l4_umword_t pfa; /**< page fault address */ 61 l4_umword_t err; /**< error code */ 63 l4_umword_t r[30]; /**< G0-7, I0-8, L0-7, O0-7 */ 64 l4_umword_t sp; /**< O6 */ 65 l4_umword_t o7; 66 l4_umword_t trapno; 67 l4_umword_t ip; 86 L4_INLINE l4_umword_t l4_utcb_exc_pc(l4_exc_regs_t const *u) L4_NOTHROW in l4_utcb_exc_pc() [all …]
|
/l4re-core-master/l4util/include/ |
A D | bitops.h | 96 l4util_bts(int b, volatile l4_umword_t * dest); 110 l4util_btr(int b, volatile l4_umword_t * dest); 124 l4util_btc(int b, volatile l4_umword_t * dest); 138 l4util_bsr(l4_umword_t word); 152 l4util_bsf(l4_umword_t word); 209 l4_umword_t oldval, newval; in l4util_set_bit() 228 l4_umword_t oldval, newval; in l4util_clear_bit() 258 l4_umword_t oldval, newval; in l4util_bts() 280 l4_umword_t oldval, newval; in l4util_btr() 299 l4util_bsr(l4_umword_t word) in l4util_bsr() [all …]
|
/l4re-core-master/l4re/include/ |
A D | elf_aux.h | 52 …_ELF_AUX_ELEM const __attribute__((used, section(".rol4re_elf_aux"), aligned(sizeof(l4_umword_t)))) 106 l4_umword_t type; 107 l4_umword_t length; 115 l4_umword_t type; 116 l4_umword_t length; 117 l4_umword_t start; 118 l4_umword_t end; 126 l4_umword_t type; 127 l4_umword_t length; 128 l4_umword_t value;
|
/l4re-core-master/libloader/include/ |
A D | loader | 24 l4_umword_t dyn_exec_entry; 25 l4_umword_t dyn_phdrs; 26 l4_umword_t dyn_num_phdrs; 27 l4_umword_t dyn_interp_base; 30 l4_umword_t ldr_flags; 31 l4_umword_t l4re_dbg; 134 l4_umword_t argc = 0; 239 stack.push(l4_umword_t(0)); 240 stack.push(l4_umword_t(0)); 257 stack.push(l4_umword_t(0)); [all …]
|
/l4re-core-master/l4util/include/ARCH-amd64/ |
A D | bitops_arch.h | 31 l4util_set_bit(int b, volatile l4_umword_t * dest) in l4util_set_bit() 48 l4util_clear_bit(int b, volatile l4_umword_t * dest) in l4util_clear_bit() 65 l4util_complement_bit(int b, volatile l4_umword_t * dest) in l4util_complement_bit() 82 l4util_test_bit(int b, const volatile l4_umword_t * dest) in l4util_test_bit() 106 l4util_bts(int b, volatile l4_umword_t * dest) in l4util_bts() 129 l4util_btr(int b, volatile l4_umword_t * dest) in l4util_btr() 152 l4util_btc(int b, volatile l4_umword_t * dest) in l4util_btc() 175 l4util_bsr(l4_umword_t word) in l4util_bsr() 177 l4_umword_t tmp; in l4util_bsr() 197 l4util_bsf(l4_umword_t word) in l4util_bsf() [all …]
|