Searched refs:upper (Results 1 - 15 of 15) sorted by relevance

/seL4-camkes-master/kernel/include/drivers/timer/
H A Darm_global.h47 uint32_t upper, upper2, lower; local
49 upper = globalTimer->countUpper;
53 /* account for race: upper could have increased while we
55 if (upper != upper2) {
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DELF.py185 upper = regions[m]['addr'] + regions[m]['size']
186 if lower <= reg_vaddr and reg_vaddr < upper:
189 elif reg_vaddr >= upper:
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Dmodule.c294 upper:1, member in struct:shortname_info
299 (x)->upper = 1; \
329 info->upper = 0;
337 info->upper = 0;
341 info->upper = 0;
478 return (base_info.upper && ext_info.upper);
480 if ((base_info.upper || base_info.lower) &&
481 (ext_info.upper || ext_info.lower)) {
482 if (!base_info.upper
[all...]
/seL4-camkes-master/projects/musllibc/src/ctype/
H A Dtowctrans.c8 unsigned short upper; member in struct:__anon359
234 /* special case because the diff between upper/lower is too big */
242 int base = casemaps[i].upper + (lmask & casemaps[i].lower);
245 return wc + lower - ((wc-casemaps[i].upper)&1);
/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Delfloader.py125 extra_data = 'PSCI_METHOD_' + psci_node.get_prop('method').strings[0].upper()
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_header_gen.py46 #define SYSCALL_{{upper(syscall)}} ({{ns.syscall_number}})
207 return '_'.join(words).upper()
214 'upper': convert_to_assembler_format})
H A Dbitfield_gen.py1571 (self.name[0].upper() + self.name[1:], ref_name)
2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_header_gen.py46 #define SYSCALL_{{upper(syscall)}} ({{ns.syscall_number}})
207 return '_'.join(words).upper()
214 'upper': convert_to_assembler_format})
H A Dbitfield_gen.py1571 (self.name[0].upper() + self.name[1:], ref_name)
2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
/seL4-camkes-master/kernel/tools/
H A Dsyscall_header_gen.py46 #define SYSCALL_{{upper(syscall)}} ({{ns.syscall_number}})
207 return '_'.join(words).upper()
214 'upper': convert_to_assembler_format})
H A Dbitfield_gen.py1571 (self.name[0].upper() + self.name[1:], ref_name)
2889 guard = re.sub(r'[^a-zA-Z0-9_]', '_', out_file.filename.upper())
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/
H A Ddepcomp114 upper=ABCDEFGHIJKLMNOPQRSTUVWXYZ
117 alpha=${upper}${lower}
/seL4-camkes-master/tools/rumprun/tests/configure/build-aux/
H A Ddepcomp114 upper=ABCDEFGHIJKLMNOPQRSTUVWXYZ
117 alpha=${upper}${lower}
/seL4-camkes-master/tools/riscv-pk/scripts/
H A Dconfig.guess895 echo "$UNAME_MACHINE-unknown-`echo "$UNAME_SYSTEM" | sed 's,^[^/]*/,,' | tr "[:upper:]" "[:lower:]"``echo "$UNAME_RELEASE"|sed -e 's/[-(].*//'`-$LIBC"
/seL4-camkes-master/kernel/manual/parts/
H A Dthreads.tex111 The tuple $(b, p)$ forms an upper bound on the thread's execution -- the kernel will not permit a
267 Scheduling contexts provide access to and an upper bound on exection CPU time,

Completed in 108 milliseconds