Home
last modified time | relevance | path

Searched refs:X (Results 1 – 13 of 13) sorted by relevance

/seL4-master/src/arch/arm/machine/
A Dl2c_310.c48 #define CTRL_AUX_FORCE_WR_ALLOC(X) (((X)&0x3) * BIT(23) argument
52 #define CTRL_AUX_WAYSIZE(X) (((X)&0x7) * BIT(17) ) argument
74 #define CTRL_RAM_LATENCY_SET(X,S) (((X)&0x7) * BIT(S)) argument
75 #define CTRL_RAM_LATENCY_SETUP(X) CTRL_RAM_LATENCY_SET(X, 0) argument
76 #define CTRL_RAM_LATENCY_READ(X) CTRL_RAM_LATENCY_SET(X, 4) argument
77 #define CTRL_RAM_LATENCY_WRITE(X) CTRL_RAM_LATENCY_SET(X, 8) argument
99 #define CTRL2_PFET_PREFETCH_OFFSET(X) ((X) * BIT( 0) ) argument
/seL4-master/src/drivers/serial/
A Dmsm-uartdm.c21 #define UART_REG(X) ((volatile uint32_t *)(UART_PPTR + (X))) argument
A Dexynos4210-uart.c33 #define UART_REG(X) ((volatile uint32_t *)(UART_PPTR + (X))) argument
/seL4-master/src/arch/riscv/machine/
A Dhardware.c20 #define IS_IRQ_VALID(X) (((X)) <= maxIRQ && (X) != irqInvalid) 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 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 Dthreads.tex456 \item Odroid-X (Exynos4)
/seL4-master/include/arch/arm/arch/machine/
A Dgic_common.h64 #define IS_IRQ_VALID(X) (((X) & IRQ_MASK) < SPECIAL_IRQ_START) argument
/seL4-master/manual/
A Dreferences.bib222 issn = {2040-557X},
A Dexport.bst25 %% {Upper-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/tools/dts/
A Dexynos4.dts18 model = "Hardkernel ODROID-X board based on Exynos4412";
3071 model = "Odroid-X";
A Domap3.dts3417 label = "X-Loader";

Completed in 24 milliseconds