Searched refs:offset_low (Results 1 - 5 of 5) sorted by relevance
| /seL4-refos-master/kernel/src/drivers/timer/ |
| H A D | generic_timer.c | 113 uint32_t offset_low = vcpu_read_reg(vcpu, seL4_VCPUReg_CNTVOFFlow); local
114 uint64_t offset = ((uint64_t)offset_high << 32) | (uint64_t) offset_low;
|
| /seL4-refos-master/libs/librefossys/src/ |
| H A D | sys_io.c | 312 unsigned long offset_low = va_arg(ap, unsigned long); local
321 int64_t seek_distance64 = (int64_t)(((uint64_t)offset_high << 32) | (uint64_t)offset_low);
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
| H A D | sys_io.c | 312 unsigned long offset_low = va_arg(ap, unsigned long); local
321 int64_t seek_distance64 = (int64_t)(((uint64_t)offset_high << 32) | (uint64_t)offset_low);
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 503 uint32_t offset_low = va_arg(ap, uint32_t); local
513 long ret = syscall(SYS_lseek, fd, (uint32_t)offset_low, (uint32_t)offset_high, whence);
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 503 uint32_t offset_low = va_arg(ap, uint32_t); local
513 long ret = syscall(SYS_lseek, fd, (uint32_t)offset_low, (uint32_t)offset_high, whence);
|
Completed in 45 milliseconds