Searched refs:string (Results 1 - 15 of 15) sorted by relevance
| /seL4-mcs-10.1.1/include/arch/x86/arch/kernel/ |
| H A D | multiboot2.h | 38 char string [1]; member in struct:multiboot2_module
|
| /seL4-mcs-10.1.1/src/ |
| H A D | string.c | 13 #include <string.h>
|
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | parse_doxygen_xml.py | 56 def text_escape(self, string):
58 Return a string with latex special characters escaped
61 return escape_regex.sub(lambda p: self.ESCAPE_PATTERNS[p.group()], string)
65 Return a string containing a concatenation of a nodes text node
71 string = soup
73 string = str(soup)
74 elif soup.string:
75 string = str(soup.string)
77 string
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/64/ |
| H A D | head.S | 63 .string "Huge page not supported by the processor"
192 .string "PCIDs not supported by the processor"
212 .string "INVPCID instruction not supported by the processor"
232 .string "SYSCALL/SYSRET instruction not supported by the processor"
258 .string "fsgsbase instructions not supported by the processor"
|
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | cpu_identification.c | 10 #include <string.h>
15 * on INTEL x86 processors, as well as attempting to determine the model string.
36 /** Extracts the vendor string from CPUID_000H.E[BCD]X.
|
| /seL4-mcs-10.1.1/src/plat/spike/machine/ |
| H A D | fdt.c | 30 #include <string.h>
32 #include <string.h>
73 /* workaround because string literals are not supported by the C parser */
|
| /seL4-mcs-10.1.1/src/api/ |
| H A D | syscall.c | 27 #include <string.h>
|
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string):
1157 print(string, file=params.output)
2691 string = f.read() variable
2693 matched_tokens = set(search_re.findall(string))
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string):
1157 print(string, file=params.output)
2691 string = f.read() variable
2693 matched_tokens = set(search_re.findall(string))
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 709 module->string
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | objecttype.c | 33 #include <string.h>
|
| H A D | tcb.c | 28 #include <string.h>
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 1152 def emit_named(name, params, string):
1157 print(string, file=params.output)
2691 string = f.read() variable
2693 matched_tokens = set(search_re.findall(string))
|
| /seL4-mcs-10.1.1/manual/parts/ |
| H A D | bootup.tex | 216 form ``key''. The value field of the key-value form may be a string, a decimal
|
| /seL4-mcs-10.1.1/src/arch/arm/machine/ |
| H A D | debug.c | 16 #include <string.h>
|
Completed in 84 milliseconds