Searched refs:offset_high (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/src/drivers/timer/
H A Dgeneric_timer.c112 uint32_t offset_high = vcpu_read_reg(vcpu, seL4_VCPUReg_CNTVOFFhigh); local
114 uint64_t offset = ((uint64_t)offset_high << 32) | (uint64_t) offset_low;
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_io.c502 uint32_t offset_high = va_arg(ap, uint32_t); local
513 long ret = syscall(SYS_lseek, fd, (uint32_t)offset_low, (uint32_t)offset_high, whence);

Completed in 78 milliseconds