/seL4-test-master/projects/musllibc/src/ctype/ |
H A D | __ctype_tolower_loc.c | 3 static const int32_t table[] = { variable 25 static const int32_t *const ptable = table+128;
|
H A D | __ctype_toupper_loc.c | 3 static const int32_t table[] = { variable 25 static const int32_t *const ptable = table+128;
|
H A D | iswalpha.c | 4 static const unsigned char table[] = { variable 11 return (table[table[wc>>8]*32+((wc&255)>>3)]>>(wc&7))&1;
|
H A D | iswpunct.c | 4 static const unsigned char table[] = { variable 11 return (table[table[wc>>8]*32+((wc&255)>>3)]>>(wc&7))&1;
|
H A D | wcwidth.c | 3 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.c | 9 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 D | acpi.h | 14 * 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 D | browser.c | 25 _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 D | acpi.c | 37 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 D | driver.c | 16 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 D | intscan.c | 6 /* 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 D | sglib.h | 244 /* ----------------- 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 D | vspace_internal.h | 44 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 D | vspace.h | 15 * 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 D | efi_init.c | 11 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 D | vspace.tex | 47 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 D | bootup.tex | 33 \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 D | cspace.tex | 16 \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 D | threads.tex | 382 \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 D | bootstrap.c | 24 * 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 D | vspace.c | 211 /* 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 D | efi.h | 46 uintptr_t table; member in struct:__anon122
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | acpi.c | 27 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 D | manual.tex | 73 % Subsubsections it table of contents
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 90 uint8_t table[14]; member in struct:sys_desc_table
|