/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | ringbuffer.h | 62 uint32_t size; member in struct:rb_buffer
|
H A D | ringbuffer.c | 67 ((buf->size - 1) - (buf->localEnd - buf->localStart)); 88 newRingBuffer->size = ram_dspace_get_size(dataspace) - RINGBUFFER_METADATA_SIZE; 150 uint32_t endBytes = MIN(len, buf->size - buf->localEnd); 175 buf->localEnd = (buf->localEnd + len) % buf->size; 196 size_t contentSize = (buf->size - 1) - rb_remaining_size(buf); 226 *bytesRead = MIN(buf->size - buf->localStart, len); 252 buf->localEnd = (buf->localEnd + len) % buf->size; 253 buf->localStart = (buf->localStart + *bytesRead) % buf->size;
|
/seL4-refos-master/libs/libmuslc/src/env/ |
H A D | __reset_tls.c | 14 p->size - p->len);
|
/seL4-refos-master/libs/libmuslc/src/internal/powerpc/ |
H A D | syscall.s | 19 .size __syscall, .-__syscall
|
/seL4-refos-master/libs/libmuslc/src/internal/powerpc64/ |
H A D | syscall.s | 17 .size __syscall, .-__syscall
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 133 * @param[in] size The number of bytes to read 147 static inline ssize_t ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, argument 150 return d->read(d, data, size, callback, token); 157 * @param[in] size The number of bytes to write 171 static inline ssize_t ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, argument 174 return d->write(d, data, size, callback, token);
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, argument 181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, argument 198 void* vdata, size_t size, 218 for (count = 0; !nak && count < size; count++) { 219 *data++ = i2c_bb_readbyte(d, count + 1 == size); 224 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 231 const void* vdata, size_t size, 250 for (count = 0; !nak && count < size; count++) { 256 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 133 * @param[in] size The number of bytes to read 147 static inline ssize_t ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, argument 150 return d->read(d, data, size, callback, token); 157 * @param[in] size The number of bytes to write 171 static inline ssize_t ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, argument 174 return d->write(d, data, size, callback, token);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, argument 181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, argument 198 void* vdata, size_t size, 218 for (count = 0; !nak && count < size; count++) { 219 *data++ = i2c_bb_readbyte(d, count + 1 == size); 224 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 231 const void* vdata, size_t size, 250 for (count = 0; !nak && count < size; count++) { 256 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | chardev.c | 29 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 30 size_t size; local 35 size = 0; 39 size = 8; 43 size = 16; 47 size = 32; 51 size = 64; 59 while (size > 0) { 60 size -= 8; 61 err = base64_putbyte(streamer, (number >> size) & MASK(8));
|
/seL4-refos-master/libs/libutils/src/ |
H A D | cbor64.c | 30 size_t size; local 35 size = 0; 39 size = 8; 43 size = 16; 47 size = 32; 51 size = 64; 59 while (size > 0) { 60 size -= 8; 61 err = base64_putbyte(streamer, (number >> size) & MASK(8));
|
/seL4-refos-master/kernel/src/arch/x86/machine/ |
H A D | breakpoint.c | 190 /** Converts an integer size number into an equivalent hardware register value. 193 * @param size An integer for the operand size of the breakpoint. 196 PURE static inline word_t convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument 203 size = 0; 205 switch (size) { 207 size = X86_DEBUG_BP_SIZE_1B; 210 size = X86_DEBUG_BP_SIZE_2B; 213 size = X86_DEBUG_BP_SIZE_8B; 216 assert(size 402 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument [all...] |
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | common.c | 66 static void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, 92 static void *__map_device_page_failsafe(void *cookie UNUSED, uintptr_t paddr, size_t size, argument 95 int bits = CTZ(size); 130 static void *__map_device_page_regular(void *cookie UNUSED, uintptr_t paddr, size_t size, argument 133 int bits = CTZ(size); 153 void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, argument 157 return __map_device_page_regular(cookie, paddr, size, cached, flags); 159 return __map_device_page_failsafe(cookie, paddr, size, cached, flags);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | ringbuffer.c | 67 ((buf->size - 1) - (buf->localEnd - buf->localStart)); 88 newRingBuffer->size = ram_dspace_get_size(dataspace) - RINGBUFFER_METADATA_SIZE; 150 uint32_t endBytes = MIN(len, buf->size - buf->localEnd); 175 buf->localEnd = (buf->localEnd + len) % buf->size; 196 size_t contentSize = (buf->size - 1) - rb_remaining_size(buf); 226 *bytesRead = MIN(buf->size - buf->localStart, len); 252 buf->localEnd = (buf->localEnd + len) % buf->size; 253 buf->localStart = (buf->localStart + *bytesRead) % buf->size;
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | common.c | 66 static void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, 92 static void *__map_device_page_failsafe(void *cookie UNUSED, uintptr_t paddr, size_t size, argument 95 int bits = CTZ(size); 130 static void *__map_device_page_regular(void *cookie UNUSED, uintptr_t paddr, size_t size, argument 133 int bits = CTZ(size); 153 void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, argument 157 return __map_device_page_regular(cookie, paddr, size, cached, flags); 159 return __map_device_page_failsafe(cookie, paddr, size, cached, flags);
|
/seL4-refos-master/libs/libmuslc/src/passwd/ |
H A D | getgrent_a.c | 11 int __getgrent_a(FILE *f, struct group *gr, char **line, size_t *size, char ***mem, size_t *nmem, struct group **res) argument 20 if ((l=getline(line, size, f)) < 0) {
|
H A D | getpwent_a.c | 11 int __getpwent_a(FILE *f, struct passwd *pw, char **line, size_t *size, struct passwd **res) argument 19 if ((l=getline(line, size, f)) < 0) {
|
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | chardev.c | 34 .size = BIT(12), \ 42 .size = BIT(12), \
|
/seL4-refos-master/projects/util_libs/libpci/include/pci/ |
H A D | pci.h | 44 uint32_t libpci_ioread(uint32_t port_no, uint32_t* val, uint32_t size); 45 uint32_t libpci_iowrite(uint32_t port_no, uint32_t val, uint32_t size); 55 * be of at least size PCI_MAX_DEVICES to be safe. */
|