EXT_IRQ_CPU_TIMER
if ((eic == EXT_IRQ_CLK_COMP || eic == EXT_IRQ_CPU_TIMER) &&
case EXT_IRQ_CPU_TIMER:
vcpu->arch.sie_block->eic = EXT_IRQ_CPU_TIMER;
rc = put_guest_lc(vcpu, EXT_IRQ_CPU_TIMER,