Home
last modified time | relevance | path

Searched refs:line (Results 1 – 25 of 30) sorted by relevance

12

/seL4-master/src/arch/arm/machine/
A Dcache.c17 vptr_t line; in cleanCacheRange_PoC() local
22 cleanByVA(line, pstart + (line - start)); in cleanCacheRange_PoC()
28 vptr_t line; in cleanInvalidateCacheRange_RAM() local
49 cleanInvalByVA(line, pstart + (line - start)); in cleanInvalidateCacheRange_RAM()
79 vptr_t line; in cleanCacheRange_PoU() local
89 cleanByVA_PoU(line, pstart + (line - start)); in cleanCacheRange_PoU()
95 vptr_t line; in invalidateCacheRange_RAM() local
108 cleanCacheRange_RAM(line, line, pstart + (line - start)); in invalidateCacheRange_RAM()
129 invalidateByVA(line, pstart + (line - start)); in invalidateCacheRange_RAM()
154 invalidateByVA_I(line, pstart + (line - start)); in invalidateCacheRange_I()
[all …]
/seL4-master/src/
A Dassert.c15 unsigned int line, in _fail() argument
21 line, in _fail()
31 unsigned int line, in _assert_fail() argument
37 line, in _assert_fail()
/seL4-master/tools/
A Dcircular_includes.py37 for line in sys.stdin:
39 if ignore_re and ignore_re.match(line):
42 match = header_re.match(line)
A Dlex.py722 line = func_code(t).co_firstlineno
725 file, line, t.__name__)
770 line = func_code(f).co_firstlineno
782 file, line, f.__name__)
787 self.log.error("%s:%d: Rule '%s' requires an argument", file, line, f.__name__)
793 file, line, f.__name__)
806 file, line, f.__name__, e)
846 line = func_code(f).co_firstlineno
857 file, line, f.__name__)
861 self.log.error("%s:%d: Rule '%s' requires an argument", file, line, f.__name__)
[all …]
/seL4-master/include/
A Dassert.h17 unsigned int line,
26 unsigned int line,
/seL4-master/libsel4/include/sel4/
A Dassert.h19 void __assert_fail(const char *str, const char *file, int line, const char *function);
/seL4-master/src/plat/exynos5/
A Dconfig.cmake10 # code styler from line-wrapping the declare_platform() statement. We
11 # want to keep that on one line so the `griddle` tool (or humans) can
/seL4-master/libsel4/tools/
A Dsyscall_stub_gen.py809 stripped_lines = [line.strip() for line in text.split("\n")]
1093 for line in conffile:
1094 if line.startswith('CONFIG_WORD_SIZE'):
1095 wordsize = int(line.split('=')[1].strip())
/seL4-master/
A Dllvm.cmake22 string(APPEND asm_common_flags " -Wno-unused-command-line-argument")
A Dconfig.cmake464 cache line prefetcher, the DCU prefetcher and the DCU IP prefetcher. On the cortex \
A DCMakeLists.txt588 # CMAKE_INSTALL_PREFIX can be set on the cmake command line.
/seL4-master/tools/dts/
A Dhikey.dts941 gpio-line-names = "SD_DET\0HDMI_INT\0PMU_IRQ_N\0WL_HOST_WAKE\0NC\0NC\0NC\0BT_REG_ON";
969 gpio-line-names = "GPIO3_0\0NC\0NC\0\0NC\0\0WLAN_ACTIVE\0NC\0NC";
984 gpio-line-names = "USER_LED1\0USER_LED2\0USER_LED3\0USER_LED4\0SD_SEL\0NC\0NC\0BT_ACTIVE";
999 gpio-line-names = "NC\0NC\0[UART1_RxD]\0[UART1_TxD]\0[AUX_SSI1]\0NC\0[PCM_CLK]\0[PCM_FS]";
1013 gpio-line-names = "[SPI0_DIN]\0[SPI0_DOUT]\0[SPI0_CS]\0[SPI0_SCLK]\0NC\0NC\0NC\0GPIO-G";
1028 gpio-line-names = "NC\0NC\0NC\0NC\0[PCM_DI]\0[PCM_DO]\0NC\0NC";
1042 gpio-line-names = "NC\0[CEC_CLK_19_2MHZ]\0NC\0\0\0\0\0\0";
1056 gpio-line-names = "\0GPIO-J\0GPIO-L\0NC\0NC\0NC\0NC\0[ISP_CCLK0]";
1084 gpio-line-names = "[I2C3_SDA]\0[I2C3_SCL]\0\0NC\0NC\0NC\0\0";
1098 gpio-line-names = "[BT_PCM_XFS]\0[BT_PCM_DI]\0[BT_PCM_DO]\0NC\0NC\0NC\0NC\0GPIO-F";
[all …]
A Dzynqmp.dts456 line-name = "sel0";
463 line-name = "sel1";
470 line-name = "sel2";
477 line-name = "sel3";
A Dodroidc2.dts454 …gpio-line-names = "UART TX\0UART RX\0VCCK En\0TF 3V3/1V8 En\0USB HUB nRESET\0USB OTG Power En\0J7 …
469 line-name = "usb-hub-reset";
657 …gpio-line-names = "Eth MDIO\0Eth MDC\0Eth RGMII RX Clk\0Eth RX DV\0Eth RX D0\0Eth RX D1\0Eth RX D2…
A Drpi4.dts114 …gpio-line-names = "ID_SDA\0ID_SCL\0SDA1\0SCL1\0GPIO_GCLK\0GPIO5\0GPIO6\0SPI_CE1_N\0SPI_CE0_N\0SPI_…
1325 … gpio-line-names = "BT_ON\0WL_ON\0PWR_LED_OFF\0GLOBAL_RESET\0VDD_SD_IO_SEL\0CAM_GPIO\0SD_PWR_ON\0";
A Drpi3.dts683 gpio-line-names = "BT_ON\0WL_ON\0STATUS_LED\0LAN_RUN\0HPD_N\0CAM_GPIO0\0CAM_GPIO1\0PWR_LOW_N";
A Dodroidc4.dts348 …gpio-line-names = "\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0PIN_36\0PIN_26\0PIN_32\0\0\0\0\0\0\0\…
355 line-name = "usb-hub-reset";
2097 gpio-line-names = "\0\0\0\0PIN_47\0\0\0PIN_45\0PIN_46\0PIN_44\0PIN_42\0\0\0\0";
/seL4-master/manual/parts/
A Dbootup.tex210 \section{Boot Command-line Arguments}
212 On IA-32, seL4 accepts boot command-line arguments which are passed to the
226 \caption{IA-32 boot command-line arguments.}
/seL4-master/manual/
A Dmanual.tex105 % SPDX statement on its own line silences license checker warnings
A DDoxyfile49 # Using the PROJECT_BRIEF tag one can provide an optional one line description
180 # first line (until the first dot) of a Javadoc-style comment as the brief
189 # line (until the first dot) of a Qt-style comment as the brief description. If
197 # multi-line C++ special comment block (i.e. a block of //! or /// comments) as
199 # to treat a multi-line C++ comment block as a detailed description. Set this
760 # The default value is: $file:$line: $text.
762 WARN_FORMAT = "$file:$line: $text"
1000 # tools must be available from the command line (i.e. in the search path).
1409 # doxygen will group on one line in the generated HTML documentation.
2039 # remove all references to function-like macros that are alone on a line, have
[all …]
A Dsel4.sty197 % make black triangle extend 0.1mm beyond margins to prevent a white line
/seL4-master/src/arch/arm/
A Dconfig.cmake216 # the L1 instruction on the Cortex-A72 cache has a 64-byte cache line.
/seL4-master/LICENSES/
A DGPL-2.0-or-later.txt272 of warranty; and each file should have at least the "copyright" line and a
275 <one line to give the program's name and an idea of what it does.>
A DGPL-2.0-only.txt272 of warranty; and each file should have at least the "copyright" line and a
275 <one line to give the program's name and an idea of what it does.>
/seL4-master/src/arch/x86/
A Dconfig.cmake73 KernelCacheLnSz CACHE_LN_SZ "Define cache line size for the current architecture"

Completed in 26 milliseconds

12