Searched refs:textcolor (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/tetris/src/
H A Dio.h89 #define textcolor(color) __set_gm(RESETATTR, color, 30) macro
/seL4-refos-master/apps/tetris/src/
H A Dio.h89 #define textcolor(color) __set_gm(RESETATTR, color, 30) macro
/seL4-refos-master/projects/refos/design/
H A Dpaper.tex106 \newcommand{\refOS}{\textcolor{refos_purple}{\texttt{RefOS}}\xspace}
108 \newcommand{\seLf}{\textcolor{seL4_green}{\texttt{seL4}}\xspace}
159 \newcommand{\srv}[1]{\textcolor{refos_dpurple}{\texttt{#1}}}
161 \newcommand{\cp}[2]{\textcolor{refos_dpurple}{\srv{#1}\texttt{\_}\obj{#2}\texttt{\_C}}}
165 $\Rightarrow$ \textcolor{refos_dgray}{\texttt{#4}} \\

Completed in 37 milliseconds