/seL4-refos-master/libs/libmuslc/src/stdlib/ |
H A D | bsearch.c | 3 void *bsearch(const void *key, const void *base, size_t nel, size_t width, int (*cmp)(const void *, const void *)) argument 8 try = (char *)base + width*(nel/2);
|
H A D | qsort.c | 41 static void cycle(size_t width, unsigned char* ar[], int n) argument 52 while(width) { 53 l = sizeof(tmp) < width ? sizeof(tmp) : width; 59 width -= l; 88 static void sift(unsigned char *head, size_t width, cmpfun cmp, int pshift, size_t lp[]) argument 96 rt = head - width; 97 lf = head - width - lp[pshift - 2]; 112 cycle(width, ar, i); 115 static void trinkle(unsigned char *head, size_t width, cmpfu argument 154 qsort(void *base, size_t nel, size_t width, cmpfun cmp) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/search/ |
H A D | lsearch.c | 4 void *lsearch(const void *key, void *base, size_t *nelp, size_t width, argument 7 char (*p)[width] = base; 15 return memcpy(p[n], key, width); 19 size_t width, int (*compar)(const void *, const void *)) 21 char (*p)[width] = (void *)base; 18 lfind(const void *key, const void *base, size_t *nelp, size_t width, int (*compar)(const void *, const void *)) argument
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | wcsftime.c | 18 unsigned long width; local 30 width = wcstoul(f, &p, 10); 32 if (!width && p!=f) width = 1; 34 width = 0; 43 if (width) { 45 width--; 51 width++; 52 for (; width > k && l < n; width [all...] |
H A D | strftime.c | 56 int width = 2; local 100 else width = 4; 112 width = 3; 134 width = 1; 147 width = 1; 160 width = 1; 178 width = 4; 203 *l = snprintf(*s, sizeof *s, "%0*lld", width, val); 225 unsigned long width; local 237 width [all...] |
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | device_screen.c | 55 s->width = DEVICE_SCREEN_EGA_MODE_WIDTH; 59 int error = vterm_init(s->vterm, s->width, s->height, s->frameBuffer); 83 memset((void*) s->frameBuffer, 0, s->width * s->height * sizeof(short)); 91 if (r < 0 || r >= s->height || c < 0 || c >= s->width) { 103 if (c + i >= s->width) { 108 s->frameBuffer[r * s->width + c + i] = ((short) str[i]) | (7 << 8);
|
H A D | ega_vterm.c | 27 if (c < 0 || c >= s->width) { 30 if (c + len >= s->width) { 31 len = (s->width - 1) - c; 40 s->buffer[r * s->width + i] = (uint16_t) (ch | 108 vterm_init(vterm_state_t *s, int width, int height, volatile uint16_t *buffer) argument 113 s->width = width; 121 dprintf("Initialising %d x %d Virtual Terminal object...\n", width, height); 122 s->vt = vterm_new(s->height, s->width); 194 vterm_buffer_puts_internal(s, i, j, cell.chars, cell.width); [all...] |
H A D | ega_vterm.h | 43 int width; member in struct:vterm_state 79 @param width Width of the screen buffer. 85 int vterm_init(vterm_state_t *s, int width, int height, volatile uint16_t *buffer);
|
H A D | device_screen.h | 34 int width; member in struct:device_screen_state
|
/seL4-refos-master/apps/console_server/src/ |
H A D | device_screen.c | 55 s->width = DEVICE_SCREEN_EGA_MODE_WIDTH; 59 int error = vterm_init(s->vterm, s->width, s->height, s->frameBuffer); 83 memset((void*) s->frameBuffer, 0, s->width * s->height * sizeof(short)); 91 if (r < 0 || r >= s->height || c < 0 || c >= s->width) { 103 if (c + i >= s->width) { 108 s->frameBuffer[r * s->width + c + i] = ((short) str[i]) | (7 << 8);
|
H A D | ega_vterm.c | 27 if (c < 0 || c >= s->width) { 30 if (c + len >= s->width) { 31 len = (s->width - 1) - c; 40 s->buffer[r * s->width + i] = (uint16_t) (ch | 108 vterm_init(vterm_state_t *s, int width, int height, volatile uint16_t *buffer) argument 113 s->width = width; 121 dprintf("Initialising %d x %d Virtual Terminal object...\n", width, height); 122 s->vt = vterm_new(s->height, s->width); 194 vterm_buffer_puts_internal(s, i, j, cell.chars, cell.width); [all...] |
H A D | ega_vterm.h | 43 int width; member in struct:vterm_state 79 @param width Width of the screen buffer. 85 int vterm_init(vterm_state_t *s, int width, int height, volatile uint16_t *buffer);
|
H A D | device_screen.h | 34 int width; member in struct:device_screen_state
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | vfwscanf.c | 89 int width; local 140 for (width=0; iswdigit(*p); p++) { 141 width = 10*width + *p - '0'; 212 if (width<1) width = 1; 238 if (width < 1) width = -1; 242 k = t=='c' ? width+1U : 31; 251 while (width) { [all...] |
H A D | vfscanf.c | 58 int width; local 113 for (width=0; isdigit(*p); p++) { 114 width = 10*width + *p - '0'; 168 if (width < 1) width = 1; 182 shlim(f, width); 219 k = t=='c' ? width+1U : 31; 264 if (t == 'c' && shcnt(f) != width) goto match_fail;
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot2.h | 39 uint32_t width; member in struct:multiboot2_fb
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 1605 tag_size=width, 1606 classmask=self.word_classmask(width), 1607 tag_index=self.tag_offset[width] // self.base, 1608 tag_shift=self.tag_offset[width] % self.base) 1609 for template, width in zip(templates, self.widths)]) 1623 tag_size=width, 1624 classmask=self.word_classmask(width), 1625 tag_index=self.tag_offset[width] // self.base, 1626 tag_shift=self.tag_offset[width] % self.base) 1627 for template, width i [all...] |
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 1605 tag_size=width, 1606 classmask=self.word_classmask(width), 1607 tag_index=self.tag_offset[width] // self.base, 1608 tag_shift=self.tag_offset[width] % self.base) 1609 for template, width in zip(templates, self.widths)]) 1623 tag_size=width, 1624 classmask=self.word_classmask(width), 1625 tag_index=self.tag_offset[width] // self.base, 1626 tag_shift=self.tag_offset[width] % self.base) 1627 for template, width i [all...] |
/seL4-refos-master/libs/libsel4/tools/ |
H A D | bitfield_gen.py | 1605 tag_size=width, 1606 classmask=self.word_classmask(width), 1607 tag_index=self.tag_offset[width] // self.base, 1608 tag_shift=self.tag_offset[width] % self.base) 1609 for template, width in zip(templates, self.widths)]) 1623 tag_size=width, 1624 classmask=self.word_classmask(width), 1625 tag_index=self.tag_offset[width] // self.base, 1626 tag_shift=self.tag_offset[width] % self.base) 1627 for template, width i [all...] |
/seL4-refos-master/kernel/tools/ |
H A D | bitfield_gen.py | 1605 tag_size=width, 1606 classmask=self.word_classmask(width), 1607 tag_index=self.tag_offset[width] // self.base, 1608 tag_shift=self.tag_offset[width] % self.base) 1609 for template, width in zip(templates, self.widths)]) 1623 tag_size=width, 1624 classmask=self.word_classmask(width), 1625 tag_index=self.tag_offset[width] // self.base, 1626 tag_shift=self.tag_offset[width] % self.base) 1627 for template, width i [all...] |
/seL4-refos-master/libs/libvterm/src/ |
H A D | unicode.c | 16 * In fixed-width output devices, Latin characters all occupy a single 17 * "cell" position of equal width, whereas ideographic CJK characters 28 * defines a character-cell width via the definition of the East Asian 29 * FullWidth (F), Wide (W), Half-width (H), and Narrow (Na) classes. 30 * In all these cases, there is no ambiguity about which width a 32 * class, the width choice depends purely on a preference of backward 34 * Choosing single-width for these characters is easy to justify as 36 * displaying these characters as double-width comes from historic 38 * single-width and 16-bit ones double-width, eve 219 int w, width = 0; local 310 int w, width = 0; local [all...] |
H A D | state.c | 20 static void putglyph(VTermState *state, const uint32_t chars[], int width, VTermPos pos) argument 24 .width = width, 220 int width = 0; local 226 width += vterm_unicode_width(codepoints[i]); 237 printf("}, onscreen width %d\n", width); 259 putglyph(state, chars, width, state->pos); 273 state->combine_width = width; 277 if(state->pos.col + width > [all...] |
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | unicode.c | 16 * In fixed-width output devices, Latin characters all occupy a single 17 * "cell" position of equal width, whereas ideographic CJK characters 28 * defines a character-cell width via the definition of the East Asian 29 * FullWidth (F), Wide (W), Half-width (H), and Narrow (Na) classes. 30 * In all these cases, there is no ambiguity about which width a 32 * class, the width choice depends purely on a preference of backward 34 * Choosing single-width for these characters is easy to justify as 36 * displaying these characters as double-width comes from historic 38 * single-width and 16-bit ones double-width, eve 219 int w, width = 0; local 310 int w, width = 0; local [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | qttableview.h | 240 { repaint( 0, 0, width(), height(), erase ); } 243 { repaint( r.x(), r.y(), r.width(), r.height(), erase ); }
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | qttableview.h | 240 { repaint( 0, 0, width(), height(), erase ); } 243 { repaint( r.x(), r.y(), r.width(), r.height(), erase ); }
|