LAT_MODE_DEADLINE
case LAT_MODE_DEADLINE:
lapic_change_mode(et, la, LAT_MODE_DEADLINE);
if (la->la_timer_mode == LAT_MODE_DEADLINE) {