Searched refs:bp (Results 1 - 10 of 10) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dk_r_malloc.c53 k_r_malloc_header_t *bp, *p; local
59 bp = (k_r_malloc_header_t *) ap - 1; /* point to block header */
60 for (p = k_r_malloc->freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr)
61 if (p >= p->s.ptr && (bp > p || bp < p->s.ptr)) {
65 if (bp + bp->s.size == p->s.ptr) { /* join to upper nbr */
66 bp->s.size += p->s.ptr->s.size;
67 bp
[all...]
/seL4-test-master/projects/musllibc/tools/
H A Dadd-cfi.i386.awk41 match($0, /%e?([abcd][hlx]|si|di|bp)/)
46 match($0, /%e?([abcd][hlx]|si|di|bp),/)
51 match($0, /,%e?([abcd][hlx]|si|di|bp)/)
132 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/))
138 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/))
155 /pushl? %e(ax|bx|cx|dx|si|di|bp)/ { # don't match "push (%reg)"
170 /movl? %e(ax|bx|cx|dx|si|di|bp),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%esp\)/ {
196 /mov.*,%e?([abcd][hlx]|si|di|bp)$/ { trashed(get_reg2()) }
197 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%e?([abcd][hlx]|si|di|bp)$/ {
201 /^i?mul.*,%e?([abcd][hlx]|si|di|bp)
[all...]
H A Dadd-cfi.i386_sel4.awk41 match($0, /%e?([abcd][hlx]|si|di|bp)/)
46 match($0, /%e?([abcd][hlx]|si|di|bp),/)
51 match($0, /,%e?([abcd][hlx]|si|di|bp)/)
132 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/))
138 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/))
155 /pushl? %e(ax|bx|cx|dx|si|di|bp)/ { # don't match "push (%reg)"
170 /movl? %e(ax|bx|cx|dx|si|di|bp),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%esp\)/ {
196 /mov.*,%e?([abcd][hlx]|si|di|bp)$/ { trashed(get_reg2()) }
197 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%e?([abcd][hlx]|si|di|bp)$/ {
201 /^i?mul.*,%e?([abcd][hlx]|si|di|bp)
[all...]
H A Dadd-cfi.x86_64.awk36 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/)
41 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15),/)
46 match($0, /,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/)
141 /pushl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15)/ { # don't match "push (%reg)"
156 /movl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%rsp\)/ {
182 /mov.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) }
183 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ {
187 /^i?mul.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) }
190 /(dec|inc|not|neg|pop) %[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/ { trashed(get_reg()) }
H A Dadd-cfi.x86_64_sel4.awk36 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/)
41 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15),/)
46 match($0, /,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/)
141 /pushl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15)/ { # don't match "push (%reg)"
156 /movl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%rsp\)/ {
182 /mov.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) }
183 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ {
187 /^i?mul.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) }
190 /(dec|inc|not|neg|pop) %[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/ { trashed(get_reg()) }
/seL4-test-master/projects/musllibc/src/math/
H A Dpow.c63 bp[] = {1.0, 1.5,}, variable
243 u = ax - bp[k]; /* bp[0]=1.0, bp[1]=1.5 */
244 v = 1.0/(ax+bp[k]);
248 /* t_h=ax+bp[k] High */
251 t_l = ax - (t_h-bp[k]);
H A Dpowf.c19 bp[] = {1.0, 1.5,}, variable
170 u = ax - bp[k]; /* bp[0]=1.0, bp[1]=1.5 */
171 v = 1.0f/(ax+bp[k]);
176 /* t_h=ax+bp[k] High */
179 t_l = ax - (t_h - bp[k]);
/seL4-test-master/kernel/manual/parts/
H A Dapi.tex96 '\texttt{seL4\_Bool bp\_was\_consumed}', a boolean which indicates whether or not the \texttt{bp\_num}
98 functionality: if this is \texttt{true}, the caller should not attempt to re-use \texttt{bp\_num}
H A Dthreads.tex518 use of a hardware breakpoint register, it will use the breakpoint register given to it in \texttt{bp\_num},
519 and return \texttt{true} in \texttt{bp\_was\_consumed}. If the underlying platform does not need a hardware
520 breakpoint to provide single-stepping, seL4 will return \texttt{false} in \texttt{bp\_was\_consumed} and
521 leave \texttt{bp\_num} unchanged.
523 If \texttt{bp\_was\_consumed} is \texttt{true}, the caller should not
524 attempt to re-configure \texttt{bp\_num} for Breakpoint or Watchpoint usage until
534 \texttt{bp\_num} argument in a single-step debug fault reply.
/seL4-test-master/projects/musllibc/ldso/
H A Ddynlink.c32 void (*bp)(void); member in struct:debug
1632 debug.bp = dl_debug_state;

Completed in 56 milliseconds