Home
last modified time | relevance | path

Searched refs:M (Results 1 – 11 of 11) sorted by relevance

/seL4-master/src/plat/pc99/
A Dlinker.lds38 /* load kernel to 1M to avoid the famous IA-32 memory holes below */
76 . = ALIGN(4M);
78 . = ALIGN(2M);
119 . = ALIGN(4M);
121 . = ALIGN(2M);
/seL4-master/include/api/
A Dtypes.h127 #define userError(M, ...) \ argument
130 ANSI_DARK " [%s/%d T%p \"%s\" @%lx]: " M ">>" ANSI_RESET "\n", \
/seL4-master/src/arch/x86/32/
A Dhead.S20 # Set PSE (bit 4) to enable 4M pages
/seL4-master/manual/
A Dreferences.bib72 David Cock and Manuel M. T. Chakravarty},
184 @mastersthesis{Palande:M,
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/include/arch/arm/arch/32/mode/object/
A Dstructures.bf36 -- 64k, 1M, 16M frames
/seL4-master/LICENSES/
A DLPPL-1.3c.txt319 %% Copyright 2005 M. Y. Name
343 % The Current Maintainer of this work is M. Y. Name .
356 `M. Y. Name'.
/seL4-master/manual/tools/
A Dparse_doxygen_xml.py540 match_details = re.match(r'^DOCREF$', details, re.M | re.I)
/seL4-master/tools/dts/
A Drpi4.dts1381 clk-27M {
1389 clk-108M {
/seL4-master/
A Dgdb-macros797 maybe_print $pte_pse "4M" "4k"
/seL4-master/manual/parts/
A Dio.tex176 More information about seL4's IOMMU abstractions can be found in \cite{Palande:M}.

Completed in 15 milliseconds