Home
last modified time | relevance | path

Searched refs:p (Results 1 – 24 of 24) sorted by relevance

/seL4-master/src/machine/
A Dio.c188 void *p; member
303 int w, p, xp; in printf_core() local
394 p = -1; in printf_core()
470 p = 1; in printf_core()
471 a = z - p; in printf_core()
475 a = arg.p ? arg.p : "(null)"; in printf_core()
476 z = a + strnlen(a, p < 0 ? INT_MAX : p); in printf_core()
480 p = z - a; in printf_core()
485 p = MAX(p, 2 * sizeof(void *)); in printf_core()
527 p = MAX(p, z - a + !arg.i); in printf_core()
[all …]
/seL4-master/include/arch/x86/arch/64/mode/object/
A Dstructures.h69 #define PML4E_REF(p) ((word_t)(p)) argument
72 #define PML4_REF(p) ((word_t)(r)) argument
76 #define PDPTE_REF(p) ((word_t)(p)) argument
79 #define PDPT_PREF(p) ((word_t)(p)) argument
83 #define PDE_REF(p) ((word_t)(p)) argument
86 #define PD_REF(p) ((word_t)(p)) argument
89 #define PTE_REF(p) ((word_t)(p)) argument
92 #define PT_REF(p) ((word_t)(p)) argument
108 #define ASID_POOL_REF(p) ((word_t)p) argument
/seL4-master/include/arch/arm/arch/64/mode/object/
A Dstructures.h76 #define PGDE_REF(p) ((word_t)(p)) argument
79 #define PGD_REF(p) ((word_t)(r)) argument
83 #define PUDE_REF(p) ((word_t)(p)) argument
86 #define PUD_PREF(p) ((word_t)(p)) argument
90 #define PDE_REF(p) ((word_t)(p)) argument
93 #define PD_REF(p) ((word_t)(p)) argument
96 #define PTE_REF(p) ((word_t)(p)) argument
99 #define PT_REF(p) ((word_t)(p)) argument
103 #define VCPU_REF(p) ((word_t)(p)) argument
111 #define ASID_POOL_REF(p) ((word_t)p) argument
/seL4-master/include/arch/x86/arch/object/
A Dstructures.h86 #define EPT_PML4E_REF(p) ((word_t)(p)) argument
90 #define EPT_PML4_REF(p) ((word_t)(p)) argument
94 #define EPT_PDPTE_REF(p) ((word_t)(p)) argument
98 #define EPT_PDPT_REF(p) ((word_t)(p)) argument
102 #define EPT_PDE_REF(p) ((word_t)(p)) argument
106 #define EPT_PD_REF(p) ((word_t)(p)) argument
109 #define EPT_PTE_REF(p) ((word_t)(p)) argument
113 #define EPT_PT_REF(p) ((word_t)(p)) argument
116 #define VCPU_REF(p) ((word_t)(p)) argument
/seL4-master/include/object/
A Dstructures.h56 #define EP_REF(p) ((word_t)(p)) argument
59 #define NTFN_REF(p) ((word_t)(p)) argument
62 #define CTE_REF(p) ((word_t)(p)) argument
66 #define CNODE_REF(p) (CTE_REF(p)>>CNODE_MIN_BITS) argument
94 #define TCB_REF(p) ((word_t)(p)) argument
97 #define TCB_PTR_CTE_PTR(p,i) \ argument
98 (((cte_t *)((word_t)(p)&~MASK(seL4_TCBBits)))+(i))
100 #define SC_REF(p) ((word_t) (p)) argument
103 #define REPLY_REF(p) ((word_t) (p)) argument
107 #define WORD_REF(p) ((word_t)(p)) argument
[all …]
/seL4-master/manual/tools/
A Dparse_doxygen_xml.py28 'computeroutput': lambda p, r: '%s' % self.get_text(p),
29 'texttt': lambda p, r: '%s' % self.get_text(p['text']),
32 'shortref': lambda p, r: "%s" % p['sec'],
33 'obj': lambda p, r: "%s" % p['name'],
36 'listitem': lambda p, r: self.parse_para(p.para, r),
38 'autoref': lambda p, r: "%s" % p['label'],
310 parse_table['shortref'] = lambda p, r: "\\ref{sec:%s}" % p['sec']
311 parse_table['obj'] = lambda p, r: "\\obj{%s}" % p['name']
314 parse_table['autoref'] = lambda p, r: "\\autoref{%s}" % p['label']
436 parse_table['obj'] = lambda p, r: '**%s**' % p['name']
[all …]
A Dgen_env.py21 p = subprocess.Popen(["git", "log", "-r", "HEAD", "-n", "1", "--pretty=format:%ci"], variable
23 commit_date_string = p.communicate()[0]
/seL4-master/include/arch/x86/arch/32/mode/object/
A Dstructures.h34 #define PDE_REF(p) ((word_t)(p)) argument
37 #define PD_REF(p) ((word_t)(p)) argument
40 #define PTE_REF(p) ((word_t)(p)) argument
43 #define PT_REF(p) ((word_t)(p)) argument
56 #define ASID_POOL_REF(p) ((word_t)p) argument
/seL4-master/include/arch/arm/arch/32/mode/object/
A Dstructures.h53 #define VCPU_REF(p) ((unsigned int)(p)) argument
56 #define PDE_REF(p) ((unsigned int)p) argument
61 #define PD_REF(p) ((unsigned int)p) argument
72 #define PTE_REF(p) ((unsigned int)p) argument
75 #define PT_REF(p) ((unsigned int)p) argument
80 #define LPAE_PGDE_REF(p) ((unsigned int)p) argument
83 #define LPAE_PGD_REF(p) ((unsigned int)p) argument
86 #define LPAE_PTE_REF(p) ((unsigned int)p) argument
89 #define LPAE_PT_REF(p) ((unsigned int)p) argument
98 #define ASID_POOL_REF(p) ((unsigned int)p) argument
/seL4-master/tools/
A Dreciprocal.py27 for p in range(0, 2*nbits + 1):
28 if 2**p > nc*(d - 1 - (2**p - 1) % d):
29 m = (2**p + d - 1 - (2**p - 1) % d)//d
30 return (m, p)
/seL4-master/src/
A Dutil.c24 uint8_t *p = s; in memzero() local
37 *(ulong_alias *)p = 0; in memzero()
38 p += sizeof(ulong_alias); in memzero()
45 uint8_t *p; in memset() local
55 for (p = (uint8_t *)s; n > 0; n--, p++) { in memset()
56 *p = (uint8_t)c; in memset()
65 uint8_t *p; in memcpy() local
68 for (p = (uint8_t *)ptr_dst, q = (const uint8_t *)ptr_src; n; n--, p++, q++) { in memcpy()
69 *p = *q; in memcpy()
/seL4-master/include/arch/riscv/arch/object/
A Dstructures.h30 #define ASID_POOL_REF(p) ((word_t)p) argument
55 #define PTE_REF(p) ((word_t)(p)) argument
59 #define PT_REF(p) ((word_t)(p)) argument
/seL4-master/include/
A Dbootinfo.h15 #define BI_REF(p) ((word_t)(p)) argument
/seL4-master/manual/parts/
A Dapi.tex134 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
148 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
162 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
175 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
190 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
203 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
219 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
232 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
247 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
261 \begin{tabularx}{\textwidth}{p{0.25\textwidth}X}
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$.
131 … a thread stops executing (blocks or is preempted), schedule a replenishment at $T_{s} + p$ for the
A Dvspace.tex289 \begin{tabularx}{\textwidth}{p{0.33\textwidth}X}
307 \begin{tabularx}{\textwidth}{p{0.33\textwidth}X}
A Dipc.tex49 \begin{tabularx}{\textwidth}{p{0.28\textwidth}p{0.18\textwidth}X}
A Dcspace.tex167 \begin{tabularx}{\textwidth}{p{0.15\textwidth}XXXX}
200 \begin{tabularx}{\textwidth}{p{0.25\textwidth}XX}
A Dobjects.tex466 \begin{tabularx}{\textwidth}{p{0.15\textwidth}XXXX}
/seL4-master/manual/
A DMakefile238 ( p=`pwd` && d=`basename "$$p"` && cd .. && \
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/src/kernel/
A Dboot.c706 BOOT_CODE static inline pptr_t ceiling_kernel_window(pptr_t p) in ceiling_kernel_window() argument
711 if (pptr_to_paddr((void *)p) > PADDR_TOP) { in ceiling_kernel_window()
712 p = PPTR_TOP; in ceiling_kernel_window()
714 return p; in ceiling_kernel_window()
/seL4-master/libsel4/tools/
A Dsyscall_stub_gen.py654 output_param_words = sum([p.type.size_bits for p in output_params]) / wordsize
/seL4-master/tools/dts/
A Dtx2.dts4925 panel-a-edp-1080p-14-0 {
4927 compatible = "a-edp,1080p-14-0";
7490 panel-a-edp-1080p-14-0-bl {
7492 compatible = "a-edp,1080p-14-0-bl";

Completed in 66 milliseconds