| /seL4-master/tools/dts/ |
| A D | rpi4.dts | 306 function = "alt1";
315 function = "alt1";
324 function = "alt1";
332 function = "alt0";
338 function = "alt0";
347 function = "alt1";
353 function = "alt1";
362 function = "alt5";
368 function = "alt5";
377 function = "alt5";
[all …]
|
| A D | odroidc4.dts | 703 function = "nor";
712 function = "pdm";
721 function = "pdm";
730 function = "pdm";
739 function = "pdm";
748 function = "pdm";
757 function = "pdm";
766 function = "pdm";
775 function = "pdm";
784 function = "pdm";
[all …]
|
| A D | rpi3.dts | 132 brcm,function = < 0x06 >;
137 brcm,function = < 0x07 >;
142 brcm,function = < 0x07 >;
149 brcm,function = < 0x07 >;
154 brcm,function = < 0x04 >;
159 brcm,function = < 0x04 >;
164 brcm,function = < 0x04 >;
169 brcm,function = < 0x04 >;
174 brcm,function = < 0x04 >;
179 brcm,function = < 0x04 >;
[all …]
|
| A D | odroidc2.dts | 674 function = "emmc";
683 function = "emmc";
705 function = "nor";
713 function = "spi";
721 function = "spi";
752 function = "sdio";
773 function = "sdio";
830 function = "i2c_a";
838 function = "i2c_b";
855 function = "eth";
[all …]
|
| A D | tx1.dts | 101 function = "aux";
107 function = "i2c";
113 function = "off";
282 function = "aux";
288 function = "i2c";
294 function = "off";
419 nvidia,function = "pe0";
439 nvidia,function = "pe";
2024 function = "gpio";
2029 function = "fps-out";
[all …]
|
| A D | tk1.dts | 347 nvidia,function = "soc";
355 nvidia,function = "gmi";
459 nvidia,function = "gmi";
568 nvidia,function = "gmi";
591 nvidia,function = "gmi";
614 nvidia,function = "gmi";
659 nvidia,function = "gmi";
751 nvidia,function = "gmi";
1680 nvidia,function = "pe";
2013 function = "gpio";
[all …]
|
| A D | exynos4.dts | 1545 samsung,pin-function = < 0x02 >;
1552 samsung,pin-function = < 0x02 >;
1559 samsung,pin-function = < 0x02 >;
1566 samsung,pin-function = < 0x02 >;
1573 samsung,pin-function = < 0x03 >;
1581 samsung,pin-function = < 0x02 >;
1588 samsung,pin-function = < 0x02 >;
1595 samsung,pin-function = < 0x04 >;
1602 samsung,pin-function = < 0x03 >;
1610 samsung,pin-function = < 0x02 >;
[all …]
|
| A D | allwinnerA20.dts | 687 function = "can";
702 function = "emac";
707 function = "gmac";
742 function = "ir0";
748 function = "ir0";
753 function = "ir1";
758 function = "ir1";
786 function = "ps2";
791 function = "ps2";
796 function = "pwm";
[all …]
|
| A D | exynos5250.dts | 885 samsung,pin-function = < 0x02 >;
892 samsung,pin-function = < 0x02 >;
899 samsung,pin-function = < 0x03 >;
907 samsung,pin-function = < 0x04 >;
921 samsung,pin-function = < 0x02 >;
928 samsung,pin-function = < 0x02 >;
935 samsung,pin-function = < 0x03 >;
943 samsung,pin-function = < 0x04 >;
950 samsung,pin-function = < 0x02 >;
957 samsung,pin-function = < 0x02 >;
[all …]
|
| A D | exynos5410.dts | 1207 samsung,pin-function = < 0x02 >;
1214 samsung,pin-function = < 0x02 >;
1221 samsung,pin-function = < 0x02 >;
1228 samsung,pin-function = < 0x02 >;
1235 samsung,pin-function = < 0x03 >;
1243 samsung,pin-function = < 0x02 >;
1250 samsung,pin-function = < 0x02 >;
1257 samsung,pin-function = < 0x03 >;
1265 samsung,pin-function = < 0x02 >;
1272 samsung,pin-function = < 0x03 >;
[all …]
|
| A D | exynos5422.dts | 1285 samsung,pin-function = < 0x03 >;
1292 samsung,pin-function = < 0x03 >;
1300 samsung,pin-function = < 0x0f >;
1308 samsung,pin-function = < 0x00 >;
1316 samsung,pin-function = < 0x00 >;
1408 samsung,pin-function = < 0x02 >;
1416 samsung,pin-function = < 0x02 >;
1424 samsung,pin-function = < 0x02 >;
1432 samsung,pin-function = < 0x02 >;
1440 samsung,pin-function = < 0x02 >;
[all …]
|
| A D | apq8064.dts | 373 function = "sdc4";
449 function = "gpio";
495 function = "gpio";
525 function = "gpio";
555 function = "gpio";
574 function = "gpio";
596 function = "gpio";
627 function = "gpio";
691 function = "gpio";
723 function = "hdmi";
[all …]
|
| A D | zynq7000.dts | 383 function = "ethernet0";
406 function = "mdio0";
422 function = "gpio0";
448 function = "i2c0";
464 function = "sdio0";
476 function = "sdio0_cd";
489 function = "sdio0_wp";
506 function = "uart1";
531 function = "usb0";
|
| A D | tx2.dts | 707 nvidia,function = "usb";
718 nvidia,function = "usb";
729 nvidia,function = "usb";
740 nvidia,function = "usb";
1436 function = "gpio";
1441 function = "fps-out";
1449 function = "fps-out";
1458 function = "fps-out";
1473 function = "gpio";
1479 function = "gpio";
[all …]
|
| /seL4-master/src/ |
| A D | assert.c | 16 const char *function) in _fail() argument
22 function, in _fail()
32 const char *function) in _assert_fail() argument
38 function in _assert_fail()
|
| /seL4-master/include/machine/ |
| A D | assembler.h | 19 .type _name, %function ; \
30 .type _name, %function ; \
|
| /seL4-master/include/ |
| A D | assert.h | 18 const char *function
27 const char *function
|
| /seL4-master/tools/ |
| A D | helpers.cmake | 9 # Wrapper function around find_file that generates a fatal error if it isn't found
12 function(RequireFile config_name file_name)
29 function(get_absolute_source_or_binary output input)
37 function(get_absolute_list_source_or_binary output input)
54 function(cppfile output output_target input)
101 function(GenBFCommand args target_name pbf_path pbf_target deps)
246 function(config_option optionname configname doc)
327 function(config_string optionname configname doc)
425 function(config_choice optionname configname doc)
545 function(add_config_library prefix configure_template)
[all …]
|
| A D | internal.cmake | 11 function(gen_invocation_header)
53 function(add_sources)
80 function(add_bf_source_old dep file prefix path)
|
| /seL4-master/libsel4/include/sel4/ |
| A D | assert.h | 19 void __assert_fail(const char *str, const char *file, int line, const char *function);
|
| /seL4-master/libsel4/ |
| A D | CMakeLists.txt | 21 for verification, so setting to 'n' will forcibly prevent the function \
84 function(genbf target_prefix pbf_location bf_location header_output)
|
| /seL4-master/ |
| A D | gcc.cmake | 34 # This function hunts for an extant `gcc` with one of the candidate prefixes
37 function(FindPrefixedGCC out_var)
|
| A D | config.cmake | 496 KernelClz32 CLZ_32 "Define a __clzsi2 function to count leading zeros for uint32_t arguments. \
502 KernelClz64 CLZ_64 "Define a __clzdi2 function to count leading zeros for uint64_t arguments. \
508 KernelCtz32 CTZ_32 "Define a __ctzsi2 function to count trailing zeros for uint32_t arguments. \
514 KernelCtz64 CTZ_64 "Define a __ctzdi2 function to count trailing zeros for uint64_t arguments. \
|
| /seL4-master/manual/parts/ |
| A D | vspace.tex | 160 \texttt{seL4\_CapRights} given to the mapping function.
164 architecture and are documented in the \autoref{sec:api_reference} for each function.
|
| /seL4-master/configs/ |
| A D | seL4Config.cmake | 114 # This could be moved to a cmake function
|