/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | timespec_get.c | 7 int timespec_get(struct timespec * ts, int base) argument 9 if (base != TIME_UTC) return 0; 11 return ret < 0 ? 0 : base;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | unimplemented.c | 26 unsigned int base) 34 base = 16; 38 if (!base) 39 base = 8; 42 if (!base) 43 base = 10; 46 ? toupper(*cp) : *cp)-'A'+10) < base) { 47 result = result*base + value; 25 simple_strtoul(const char *cp, char **endp, unsigned int base) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | unimplemented.c | 26 unsigned int base) 34 base = 16; 38 if (!base) 39 base = 8; 42 if (!base) 43 base = 10; 46 ? toupper(*cp) : *cp)-'A'+10) < base) { 47 result = result*base + value; 25 simple_strtoul(const char *cp, char **endp, unsigned int base) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | unimplemented.c | 27 unsigned int base) 35 base = 16; 39 if (!base) { 40 base = 8; 44 if (!base) { 45 base = 10; 49 ? toupper(*cp) : *cp) - 'A' + 10) < base) { 50 result = result * base + value; 26 simple_strtoul(const char *cp, char **endp, unsigned int base) argument
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | memory.py | 16 def __init__(self, base: int, size: int, owner: 'WrappedNode'): 17 self.base = base 23 ret = Region(other.base, other.size) 27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size) 30 return self.base == other.base and self.size == other.size 37 return self.base > other.base [all...] |
/seL4-refos-master/libs/libmuslc/src/stdlib/ |
H A D | strtol.c | 9 static unsigned long long strtox(const char *s, char **p, int base, unsigned long long lim) argument 21 unsigned long long y = __intscan(&f, base, 1, lim); 29 unsigned long long strtoull(const char *restrict s, char **restrict p, int base) argument 31 return strtox(s, p, base, ULLONG_MAX); 34 long long strtoll(const char *restrict s, char **restrict p, int base) argument 36 return strtox(s, p, base, LLONG_MIN); 39 unsigned long strtoul(const char *restrict s, char **restrict p, int base) argument 41 return strtox(s, p, base, ULONG_MAX); 44 long strtol(const char *restrict s, char **restrict p, int base) argument 46 return strtox(s, p, base, 49 strtoimax(const char *restrict s, char **restrict p, int base) argument 54 strtoumax(const char *restrict s, char **restrict p, int base) argument [all...] |
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); 15 base = try;
|
H A D | wcstol.c | 32 static unsigned long long wcstox(const wchar_t *s, wchar_t **p, int base, unsigned long long lim) argument 46 unsigned long long y = __intscan(&f, base, 1, lim); 54 unsigned long long wcstoull(const wchar_t *restrict s, wchar_t **restrict p, int base) argument 56 return wcstox(s, p, base, ULLONG_MAX); 59 long long wcstoll(const wchar_t *restrict s, wchar_t **restrict p, int base) argument 61 return wcstox(s, p, base, LLONG_MIN); 64 unsigned long wcstoul(const wchar_t *restrict s, wchar_t **restrict p, int base) argument 66 return wcstox(s, p, base, ULONG_MAX); 69 long wcstol(const wchar_t *restrict s, wchar_t **restrict p, int base) argument 71 return wcstox(s, p, base, 74 wcstoimax(const wchar_t *restrict s, wchar_t **restrict p, int base) argument 79 wcstoumax(const wchar_t *restrict s, wchar_t **restrict p, int base) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | intscan.c | 26 unsigned long long __intscan(FILE *f, unsigned base, int pok, unsigned long long lim) argument 32 if (base > 36) { 41 if ((base == 0 || base == 16) && c=='0') { 51 base = 16; 52 } else if (base == 0) { 53 base = 8; 56 if (base == 0) base = 10; 57 if (val[c] >= base) { [all...] |
/seL4-refos-master/libs/libmuslc/src/fcntl/ |
H A D | posix_fallocate.c | 5 int posix_fallocate(int fd, off_t base, off_t len) argument 7 return -__syscall(SYS_fallocate, fd, 0, __SYSCALL_LL_E(base),
|
H A D | posix_fadvise.c | 5 int posix_fadvise(int fd, off_t base, off_t len, int advice) argument 12 __SYSCALL_LL_E(base), __SYSCALL_LL_E(len)); 14 return -__syscall(SYS_fadvise, fd, __SYSCALL_LL_O(base),
|
/seL4-refos-master/libs/libmuslc/src/thread/sh/ |
H A D | __unmapself.c | 20 void __unmapself(void *base, size_t size) argument 22 if (__sh_nommu) __unmapself_sh_nommu(base, size); 23 else __unmapself_sh_mmu(base, size);
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | fallocate.c | 6 int fallocate(int fd, int mode, off_t base, off_t len) argument 8 return syscall(SYS_fallocate, fd, mode, __SYSCALL_LL_E(base),
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 122 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) argument 124 gdt_entry_gdt_data_ptr_set_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], base & 0xFFFF); 125 gdt_entry_gdt_data_ptr_set_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], (base >> 16) & 0xFF); 126 gdt_entry_gdt_data_ptr_set_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_FS], (base >> 24) & 0xFF); 136 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base) argument 138 gdt_entry_gdt_data_ptr_set_base_low(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], base & 0xFFFF); 139 gdt_entry_gdt_data_ptr_set_base_mid(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], (base >> 16) & 0xFF); 140 gdt_entry_gdt_data_ptr_set_base_high(&x86KSGlobalState[CURRENT_CPU_INDEX()].x86KSgdt[GDT_GS], (base >> 24) & 0xFF); 152 word_t base = 0; local 153 base 161 word_t base = 0; local 170 x86_write_gs_base_impl(word_t base) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | dn_expand.c | 4 int __dn_expand(const unsigned char *base, const unsigned char *end, const unsigned char *src, char *dest, int space) argument 12 for (i=0; i < end-base; i+=2) { 18 if (j >= end-base) return -1; 19 p = base+j;
|
/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; 18 void *lfind(const void *key, const void *base, size_t *nelp, argument 21 char (*p)[width] = (void *)base;
|
/seL4-refos-master/libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
H A D | i2c.h | 30 * @param[in] base The base address of the i2c device's mapped memory 34 int exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c);
|
H A D | irq_combiner.h | 28 * @param[in] base The memory address of the combiner registers 32 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
|
/seL4-refos-master/libs/libplatsupport/plat_include/tk1/platsupport/plat/ |
H A D | spi.h | 19 tegra_spi_init(enum spi_id id, volatile void* base, spi_chipselect_fn cs_func,
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
H A D | i2c.h | 30 * @param[in] base The base address of the i2c device's mapped memory 34 int exynos_i2c_init(enum i2c_id id, void* base, mux_sys_t* mux, i2c_bus_t* i2c);
|
H A D | irq_combiner.h | 28 * @param[in] base The memory address of the combiner registers 32 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/ |
H A D | spi.h | 19 tegra_spi_init(enum spi_id id, volatile void* base, spi_chipselect_fn cs_func,
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | __unmapself.c | 18 void __unmapself(void *base, size_t size) argument 26 unmap_base = base;
|
/seL4-refos-master/kernel/include/ |
H A D | compound_types.h | 15 pde_t *base; member in struct:pde_range 21 pte_t *base; member in struct:pte_range
|
/seL4-refos-master/kernel/include/object/ |
H A D | untyped.h | 25 #define GET_FREE_REF(base,freeIndex) ((word_t)(((word_t)(base)) + FREE_INDEX_TO_OFFSET(freeIndex))) 26 #define GET_FREE_INDEX(base,free) (((word_t)(free) - (word_t)(base))>>seL4_MinUntypedBits) 27 #define GET_OFFSET_FREE_PTR(base, offset) ((void *)(((word_t)(base)) + (offset)))
|