Searched defs:res (Results 1 - 10 of 10) sorted by relevance

/seL4-mcs-10.1.1/src/api/
H A Dfaults.c175 syscall_error_t res; local
/seL4-mcs-10.1.1/src/
H A Dutil.c115 long res; local
/seL4-mcs-10.1.1/src/arch/arm/32/machine/
H A Dcapdl.c88 static int getArg32(unsigned int *res) argument
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dboot.c47 bool_t res = create_kernel_untypeds(root_cnode_cap, boot_mem_reuse_reg, slot_pos_before); local
/seL4-mcs-10.1.1/src/arch/x86/machine/
H A Dcapdl.c89 static int getArg(unsigned long *res) argument
H A Dbreakpoint.c472 convertedTypeAndAccess_t res; local
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dioport.c184 uint32_t res; local
212 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], res); local
/seL4-mcs-10.1.1/include/plat/bcm2837/plat/
H A Dmachine.h95 uint8_t res[0x200]; member in struct:intc_regs
/seL4-mcs-10.1.1/src/arch/arm/machine/
H A Dl2c_310.c110 uint32_t res[62]; member in struct:l2cc_map::__anon134
118 uint32_t res[60]; member in struct:l2cc_map::__anon135
131 uint32_t res[55]; member in struct:l2cc_map::__anon136
135 uint32_t res[64]; member in struct:l2cc_map::__anon137
138 uint32_t res[64]; member in struct:l2cc_map::__anon138
141 uint32_t res[64]; member in struct:l2cc_map::__anon139
144 uint32_t res[64]; member in struct:l2cc_map::__anon140
148 uint32_t res[12]; member in struct:l2cc_map::__anon141
167 uint32_t res[64]; member in struct:l2cc_map::__anon142
187 uint32_t res[ member in struct:l2cc_map::__anon143
194 uint32_t res[64]; member in struct:l2cc_map::__anon144
197 uint32_t res[64]; member in struct:l2cc_map::__anon145
203 uint32_t res[62]; member in struct:l2cc_map::__anon146
207 uint32_t res[64]; member in struct:l2cc_map::__anon147
210 uint32_t res[64]; member in struct:l2cc_map::__anon148
214 uint32_t res[16]; member in struct:l2cc_map::__anon149
[all...]
/seL4-mcs-10.1.1/src/object/
H A Dtcb.c601 getBreakpoint_t res; local

Completed in 102 milliseconds