cpu_timer_getexpires
if (!cpu_timer_getexpires(&timer.it.cpu)) {
expires = cpu_timer_getexpires(&timer.it.cpu);
if (cpu_timer_getexpires(ctmr) == base->nextevt)
u64 newexp = cpu_timer_getexpires(ctmr);
old_expires = cpu_timer_getexpires(ctmr);
expires = cpu_timer_getexpires(&timer->it.cpu);
if (p && cpu_timer_getexpires(&timer->it.cpu)) {
expires = cpu_timer_getexpires(ctmr);