get_tb
return get_tb();
} while (wait_time && (get_tb() < max_wait_tb));
max_wait_tb = get_tb() + tb_ticks_per_usec * 1000 * MAX_RTC_WAIT;
} while (wait_time && (get_tb() < max_wait_tb));
max_wait_tb = get_tb() + tb_ticks_per_usec * 1000 * MAX_RTC_WAIT;
} while (wait_time && (get_tb() < max_wait_tb));
max_wait_tb = get_tb() + tb_ticks_per_usec * 1000 * MAX_RTC_WAIT;
timebase = get_tb();
while (get_tb() < mark)
tb = get_tb() + 400;
while (get_tb() <= tb)
now = get_tb();
return mulhdu(get_tb() - boot_tb, tb_to_ns_scale) << tb_to_ns_shift;
return (u64)get_tb();
__this_cpu_write(decrementers_next_tb, get_tb() + evt);
boot_tb = get_tb();
return get_tb();
u64 tb = get_tb();
wd_smp_last_reset_tb = get_tb();
tb = get_tb();
cpu, get_tb());
wd_smp_last_reset_tb = get_tb();
u64 tb = get_tb();
tb = get_tb();
tb = get_tb();
wd_smp_last_reset_tb = get_tb();
*this_cpu_ptr(&wd_timer_tb) = get_tb();
kvmppc_set_dec_expires(vcpu, get_tb() + tb_offset);
now = get_tb();
now = get_tb();
u64 stop = get_tb() + 10 * tb_ticks_per_usec;
while ((get_tb() < stop) && !VCORE_IS_EXITING(vc)) {
kvmppc_set_gpr(vcpu, 5, get_tb());
vcpu->arch.entry_tb = get_tb();
vcpu->arch.purr += get_tb() - vcpu->arch.entry_tb;
vcpu->arch.spurr += get_tb() - vcpu->arch.entry_tb;
kvmppc_set_gpr(vcpu, 5, get_tb());
kvmppc_set_gpr(vcpu, 5, get_tb() + kvmppc_get_tb_offset(vcpu));
u64 tb = get_tb();
tb = get_tb();
spr_val = get_tb() >> 32;
spr_val = get_tb();
spr_val = kvmppc_get_dec(vcpu, get_tb());
vcpu->arch.dec_jiffies = get_tb();
seed = get_tb() << 32;
seed ^= get_tb();
val = get_tb();
val = get_tb();
timebase = get_tb();
p->timebase = get_tb();
timebase = get_tb();
timebase = get_tb();
timebase = get_tb();
snooze_exit_time = get_tb() + get_snooze_timeout(dev, drv, index);
if (likely(snooze_timeout_en) && get_tb() > snooze_exit_time) {
snooze_exit_time = get_tb() + snooze_timeout;
if (likely(snooze_timeout_en) && get_tb() > snooze_exit_time) {
unsigned long start = get_tb();
(get_tb() - start) / tb_ticks_per_usec);
unsigned long start = get_tb();
(get_tb() - start) / tb_ticks_per_usec);
bookmark = (get_tb() & 0x00000000FFFFFFFFULL) |
ps3_set_bookmark(get_tb() | PS3_PM_BOOKMARK_START);
ps3_set_bookmark(get_tb() | PS3_PM_BOOKMARK_STOP);