CPU_TIMER
#define KVM_ESTAT_INTI_MASK (CPU_SIP0 | CPU_SIP1 | CPU_PMU | CPU_TIMER \
set_gcsr_estat(CPU_TIMER);
set_gcsr_estat(CPU_TIMER);
if (!(estat & CPU_TIMER)) {
if (!(estat & CPU_TIMER))