Searched refs:tod_high (Results 1 – 2 of 2) sorted by relevance
32 int kvm_s390_get_clock(uint8_t *tod_high, uint64_t *tod_clock);33 int kvm_s390_get_clock_ext(uint8_t *tod_high, uint64_t *tod_clock);34 int kvm_s390_set_clock(uint8_t tod_high, uint64_t tod_clock);35 int kvm_s390_set_clock_ext(uint8_t tod_high, uint64_t tod_clock);
702 int kvm_s390_get_clock(uint8_t *tod_high, uint64_t *tod_low) in kvm_s390_get_clock() argument717 attr.addr = (uint64_t)tod_high; in kvm_s390_get_clock()721 int kvm_s390_get_clock_ext(uint8_t *tod_high, uint64_t *tod_low) in kvm_s390_get_clock_ext() argument732 *tod_high = gtod.epoch_idx; in kvm_s390_get_clock_ext()738 int kvm_s390_set_clock(uint8_t tod_high, uint64_t tod_low) in kvm_s390_set_clock() argument753 attr.addr = (uint64_t)&tod_high; in kvm_s390_set_clock()757 int kvm_s390_set_clock_ext(uint8_t tod_high, uint64_t tod_low) in kvm_s390_set_clock_ext() argument760 .epoch_idx = tod_high, in kvm_s390_set_clock_ext()