XTIMER_OFFSET
val = XTIMER_OFFSET | /* MSR_HV_SINT_AUTOEOI | notyet */
setidt_global(XTIMER_OFFSET, Xtimer,
timer |= XTIMER_OFFSET;