Searched refs:table (Results 1 - 25 of 28) sorted by relevance

12

/seL4-test-master/projects/musllibc/src/ctype/
H A D__ctype_tolower_loc.c3 static const int32_t table[] = { variable
25 static const int32_t *const ptable = table+128;
H A D__ctype_toupper_loc.c3 static const int32_t table[] = { variable
25 static const int32_t *const ptable = table+128;
H A Diswalpha.c4 static const unsigned char table[] = { variable
11 return (table[table[wc>>8]*32+((wc&255)>>3)]>>(wc&7))&1;
H A Diswpunct.c4 static const unsigned char table[] = { variable
11 return (table[table[wc>>8]*32+((wc&255)>>3)]>>(wc&7))&1;
H A Dwcwidth.c3 static const unsigned char table[] = { variable
16 if ((table[table[wc>>8]*32+((wc&255)>>3)]>>(wc&7))&1)
H A D__ctype_b_loc.c9 static const unsigned short table[] = { variable
36 static const unsigned short *const ptable = table+128;
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dacpi.h14 * Configuration table structures: MP and ACPI
37 ACPI_TABLE_TEST(table, RSDT) || \
38 ACPI_TABLE_TEST(table, XSDT) || \
39 ACPI_TABLE_TEST(table, FADT) || \
40 ACPI_TABLE_TEST(table, SPMI) || \
41 ACPI_TABLE_TEST(table, HPET) || \
42 ACPI_TABLE_TEST(table, BOOT) || \
43 ACPI_TABLE_TEST(table, SPCR) || \
44 ACPI_TABLE_TEST(table, DMAR) || \
45 ACPI_TABLE_TEST(table, SSD
[all...]
H A Dbrowser.c25 _browse_tables(void* table, size_t offset) argument
29 * to the next table
33 printf("reading table at %p\n", table);
37 // print table and set links
39 region_type_t table_type = acpi_sig_id(table);
44 printf("Root System Descriptor table Pointer\n");
45 acpi_print_table(table);
46 acpi_rsdp_t* rsdp = (acpi_rsdp_t*)table;
56 acpi_print_table(table);
[all...]
H A Dacpi.c37 const char* table = (const char*)tbl; local
40 if (HAS_GENERIC_HEADER(table)) {
41 length = ((acpi_header_t*)table)->length;
42 } else if (ACPI_TABLE_TEST(table, FACS)) {
43 length = ((acpi_facs_t*)table)->length;
44 } else if (ACPI_TABLE_TEST(table, RSDP)) {
45 length = ((acpi_rsdp_t*)table)->length;
107 * copy table and return relative address ready for linking
108 * "table_index" is the table to be copied (index into slist)
109 * "parent" is the index of the parent table (inde
[all...]
/seL4-test-master/tools/seL4/elfloader-tool/src/drivers/
H A Ddriver.c16 static int table_has_match(const char *compat, const struct dtb_match_table *table) argument
18 for (int i = 0; table[i].compatible != NULL; i++) {
19 if (!strcmp(table[i].compatible, compat)) {
/seL4-test-master/projects/musllibc/src/internal/
H A Dintscan.c6 /* Lookup table for digit values. -1==255>=36 -> invalid */
7 static const unsigned char table[] = { -1, variable
28 const unsigned char *val = table+1;
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dsglib.h244 /* ----------------- hashed table of pointers (in an array) -------------------- */
248 This hashed table is storing pointers to objects (not containers).
249 In this table there is a one-to-one mapping between 'objects' stored
250 in the table and indexes where they are placed. Each index is
252 table occurs on exactly one index. Once an object is stored in the
253 table, it can be represented via its index.
258 You can NOT delete an element from such hash table. The only
260 file format, having an index table at the beginning and then
267 #define SGLIB_HASH_TAB_INIT(type, table, dim) {\
269 for(_i_ = 0; _i_ < (dim); _i_++) (table)[_i
[all...]
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h44 level->table[i] = init;
104 uintptr_t next_table = level->table[index];
124 level->table[index] = next_table;
126 /* at this point table is either RESERVED or needs recursion */
173 uintptr_t next_table = level->table[index];
224 uintptr_t next_table = level->table[index];
236 level->table[index] = next_table;
279 uintptr_t next_table = level->table[index];
299 /* update entry in page table and handle large pages */
382 uintptr_t next = level->table[inde
[all...]
H A Dvspace.h15 * level page table.
49 * sub table, there is the option of pointing directly to a page. This allows more
51 uintptr_t table[VSPACE_LEVEL_SIZE]; member in struct:vspace_mid_level
/seL4-test-master/tools/seL4/elfloader-tool/src/binaries/efi/
H A Defi_init.c11 efi_system_table_t *__efi_system_table = NULL; // current efi system table
32 return (void *)tables[i].table;
/seL4-test-master/kernel/manual/parts/
H A Dvspace.tex47 For some architectures, the top-level page table can be invoked for cache operations.
73 defined, as shown in the table below. All structures are indexed with 9 bits of the virtual
91 ARM AArch32 processors have a two-level page-table structure.
92 The top-level page directory covers a range of 4\,GiB and each page table covers a 1\,MiB range.
103 ARM AArch64 processors have a four-level page-table structure, where the VSpace is realised as a
169 are indexed per architecture in the table below.
194 Mappings for sections and super sections consume 16 slots in the page table and page directory
254 architecture, listed in the table below.
287 \begin{table}[htb]
301 table entrie
[all...]
H A Dbootup.tex33 \begin{table}[htb]
65 \end{table}
90 \begin{table}[htb]
101 \texttt{seL4\_Word} & \texttt{numIOPTLevels} & number of I/O page-table levels (-1 if CONFIG\_IOMMU unset) \\
117 \end{table}
130 \begin{table}[htb]
143 \end{table}
181 \begin{table}[htb]
196 \end{table}
199 the number of IOMMU-page-table level
[all...]
H A Dcspace.tex16 \obj{CNode}s. A \obj{CNode} is a table of slots, each of which may
162 \begin{table}[htb]
178 \end{table}
196 \begin{table}[htb]
211 \end{table}
321 objects, and each \obj{CNode} is a table of slots, where each slot can
H A Dthreads.tex382 \begin{table}[htb]
396 \end{table}
490 \begin{table}[h]
504 \end{table}
542 \begin{table}[h]
552 \end{table}
567 \begin{table}[htb] \noindent\begin{tabularx}{\textwidth}{XX} \toprule
575 Timeout fault outcome on 32-bit architectures.} \end{table}
583 \begin{table}[htb]
595 \end{table}
[all...]
/seL4-test-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c24 * for each bottom level page table. Future vspaces can then use the initial vspace
66 data->top_level->table[i] = RESERVED;
178 uintptr_t next_table = level->table[index];
194 level->table[index] = next_table;
196 /* at this point table is either RESERVED or needs recursion */
296 /* create the top level page table from the loading vspace */
H A Dvspace.c211 /* The maximum number of page table levels current Intel hardware implements is 6 */
755 switch (level->table[index]) {
760 level = (vspace_mid_level_t *)level->table[index];
764 switch (level->table[index]) {
769 vspace_bottom_level_t *bottom = (vspace_bottom_level_t *)level->table[index];
776 switch (level->table[index]) {
787 vspace_unmap_pages(data->bootstrap, (void *)level->table[index],
/seL4-test-master/tools/seL4/elfloader-tool/include/binaries/efi/
H A Defi.h46 uintptr_t table; member in struct:__anon122
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dacpi.c27 uint8_t acpi_calc_checksum(const char *table, int length) argument
32 sum += *table++;
237 ZF_LOGD("ACPI table \"%.4s\", addr = %p, size = %zu bytes\n",
/seL4-test-master/kernel/manual/
H A Dmanual.tex73 % Subsubsections it table of contents
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/
H A Dguest_boot_info.h90 uint8_t table[14]; member in struct:sys_desc_table

Completed in 241 milliseconds

12