Home
last modified time | relevance | path

Searched refs:b (Results 1 – 25 of 39) sorted by relevance

12

/seL4-master/src/arch/arm/64/
A Dtraps.S43 b \label
100 b halt
109 b.eq cur_el_da
111 b.eq cur_el_ia
112 b cur_el_inv
119 b halt
126 b halt
158 b.eq lel_da
160 b.eq lel_ia
175 b.eq el0_enfp
[all …]
A Dhead.S135 b restore_user_context
/seL4-master/include/
A Dutil.h9 #define PASTE(a, b) a ## b argument
41 #define IS_ALIGNED(n, b) (!((n) & MASK(b))) argument
42 #define ROUND_DOWN(n, b) (((n) >> (b)) << (b)) argument
43 #define ROUND_UP(n, b) (((((n) - UL_CONST(1)) >> (b)) + UL_CONST(1)) << (b)) argument
45 #define MIN(a,b) (((a)<(b))?(a):(b)) argument
46 #define MAX(a,b) (((a)>(b))?(a):(b)) argument
/seL4-master/src/arch/arm/32/
A Dtraps.S47 b c_handle_undefined_instruction
85 b c_handle_syscall
112 b c_handle_instruction_fault
129 1: b 1b /* Infinite loop. You'd better have a watchdog. */
155 b c_handle_data_fault
173 1: b 1b /* Infinite loop. You'd better have a watchdog. */
186 b c_handle_interrupt
A Dhyp_traps.S144 b c_handle_vcpu_fault
151 b c_handle_undefined_instruction
157 b c_handle_instruction_fault
163 b c_handle_data_fault
172 b c_handle_syscall
187 1: b 1b
198 1: b 1b
209 1: b 1b
213 b arm_hyp_undefined_inst_exception
224 b c_handle_interrupt
A Dhead.S183 b restore_user_context
/seL4-master/src/arch/x86/32/
A Dtraps.S95 INT_HANDLER_WITH_ERR_CODE(0b)
112 INT_HANDLER_WITHOUT_ERR_CODE(1b)
129 INT_HANDLER_WITHOUT_ERR_CODE(2b)
146 INT_HANDLER_WITHOUT_ERR_CODE(3b)
163 INT_HANDLER_WITHOUT_ERR_CODE(4b)
180 INT_HANDLER_WITHOUT_ERR_CODE(5b)
197 INT_HANDLER_WITHOUT_ERR_CODE(6b)
214 INT_HANDLER_WITHOUT_ERR_CODE(7b)
231 INT_HANDLER_WITHOUT_ERR_CODE(8b)
248 INT_HANDLER_WITHOUT_ERR_CODE(9b)
/seL4-master/src/arch/x86/64/
A Dhead.S42 jnz 1b
49 jmp 1b
85 loop 1b
92 loop 1b
121 loop 2b
389 jmp 1b
A Dtraps.S137 je 2b; \
187 INT_HANDLER_WITH_ERR_CODE(0b,1)
204 INT_HANDLER_WITHOUT_ERR_CODE(1b,1)
221 INT_HANDLER_WITHOUT_ERR_CODE(2b,0)
238 INT_HANDLER_WITHOUT_ERR_CODE(3b,0)
255 INT_HANDLER_WITHOUT_ERR_CODE(4b,0)
272 INT_HANDLER_WITHOUT_ERR_CODE(5b,0)
289 INT_HANDLER_WITHOUT_ERR_CODE(6b,0)
306 INT_HANDLER_WITHOUT_ERR_CODE(7b,0)
323 INT_HANDLER_WITHOUT_ERR_CODE(8b,0)
[all …]
/seL4-master/tools/dts/
A Dodroidc4.dts395 emmc-data-4b {
405 emmc-data-8b {
901 pwm-b-x7 {
910 pwm-b-x19 {
1249 tdm-b-din0 {
1258 tdm-b-din1 {
1267 tdm-b-din2 {
1344 tdm-b-fs {
1354 tdm-b-sclk {
1659 uart-b {
[all …]
A Dariane.dts101 compatible = "xlnx,xps-spi-2.00.b", "xlnx,xps-spi-2.00.a";
A Dzynqmp.dts553 ina226@4b {
624 max15303@b {
684 max15303@1b {
/seL4-master/src/arch/riscv/
A Dhead.S28 addi gp, gp, %pcrel_lo(1b)
/seL4-master/include/machine/
A Dcapdl.h15 bool_t same_cap(cap_t a, cap_t b);
/seL4-master/LICENSES/
A DCC-BY-SA-4.0.txt66 b. Adapter's License means the license You apply to Your Copyright and Similar
78 rights specified in Section 2(b)(1)-(2) are not Copyright and Similar Rights.
170 b. Other rights.
224 b. ShareAlike.In addition to the conditions in Section 3(a), if You Share
247 b. if You include all or a substantial portion of the database contents in
250 is Adapted Material, including for purposes of Section 3(b); and
270 b. To the extent possible, in no event will the Licensor be liable to You
289 b. Where Your right to use the Licensed Material has terminated under Section
297 c. For the avoidance of doubt, this Section 6(b) does not affect any right
312 b. Any arrangements, understandings, or agreements regarding the Licensed
[all …]
A DLPPL-1.3c.txt121 b. Every component of the Derived Work contains prominent notices detailing
165 b. If a Derived Work is distributed under a different license, that Derived
232 b. If the search is unsuccessful or no action to resume active maintenance
240 b. If the Current Maintainer is not reachable and the Copyright Holder agrees
244 4. If you make an `intention announcement' as described in 2b. above and after
250 more within three months of a change completed under the terms of 3b) or 4),
261 community as in 2b) above.
372 are reused for a completely different task), then clauses 6b and 6d shall
A DGPL-2.0-or-later.txt95 b) You must cause any work that you distribute or publish, that in whole or
138 b) Accompany it with a written offer, valid for at least three years, to give
147 form with such an offer, in accord with Subsection b above.)
A DGPL-2.0-only.txt95 b) You must cause any work that you distribute or publish, that in whole or
138 b) Accompany it with a written offer, valid for at least three years, to give
147 form with such an offer, in accord with Subsection b above.)
/seL4-master/src/machine/
A Dcapdl.c54 bool_t same_cap(cap_t a, cap_t b) in same_cap() argument
56 return (a.words[0] == b.words[0] && a.words[1] == b.words[1]); in same_cap()
/seL4-master/src/object/
A Dendpoint.c450 word_t b = thread_state_ptr_get_blockingIPCBadge( in cancelBadgedSends() local
456 if (b == badge) { in cancelBadgedSends()
478 if (b == badge) { in cancelBadgedSends()
/seL4-master/manual/
A Dsel4.sty42 \newif\ifb@nner\b@nnertrue
47 \DeclareOption{noBanner}{\b@nnerfalse}
155 \begin{minipage}[b]{\paperwidth}%
162 \begin{tabular}[b]{r}\bf
A Dexport.bst26 %% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
A Dsyscalls.h24 #define MCS_COND(a,b) a argument
26 #define MCS_COND(a,b) b argument
/seL4-master/manual/parts/
A Dthreads.tex109 \textit{budget}$(b)$ and \textit{period} $(p)$, both in microseconds, set by
111 The tuple $(b, p)$ forms an upper bound on the thread's execution -- the kernel will not permit a
112 thread to run for more than $b$ out of every $p$ microseconds. However, $\frac{b}{p}$ does not
124 Threads where $b == p$ are treated as round robin threads, where $b$ acts as a timeslice.
126 property that $\frac{b}{p}$ cannot be exceeded for all possible $p$.
161 should have less refills, while longer running threads with long values of $b$ should have a higher
/seL4-master/libsel4/tools/
A Dbitfield_gen.py2733 for name, b in block_list.items():
2737 b.set_base(base, base_bits, base_sign_extend, suffix)
2738 blocks[name] = b

Completed in 38 milliseconds

12