APIC_LOCAL_TIMER
mdb_printf("as_local_timer\t%x\n", papic[APIC_LOCAL_TIMER]);
apic_reg_ops->apic_write(APIC_LOCAL_TIMER, AV_MASK|APIC_RESV_IRQ);
sp->as_local_timer = apic_reg_ops->apic_read(APIC_LOCAL_TIMER);
apic_reg_ops->apic_write(APIC_LOCAL_TIMER, sp->as_local_timer);
apic_reg_ops->apic_write(APIC_LOCAL_TIMER, AV_MASK|APIC_RESV_IRQ);
apic_reg_ops->apic_write(APIC_LOCAL_TIMER, AV_MASK);
apic_reg_ops->apic_write(APIC_LOCAL_TIMER,
apic_reg_ops->apic_write(APIC_LOCAL_TIMER,
apic_reg_ops->apic_write(APIC_LOCAL_TIMER,
apic_reg_ops->apic_write(APIC_LOCAL_TIMER,
apic_reg_ops->apic_write(APIC_LOCAL_TIMER,
apic_reg_ops->apic_write(APIC_LOCAL_TIMER,
apic_reg_ops->apic_write(APIC_LOCAL_TIMER,
enable_val = apic_reg_ops->apic_read(APIC_LOCAL_TIMER);
xpv_apicadr[APIC_LOCAL_TIMER] = AV_MASK;
xpv_apicadr[APIC_LOCAL_TIMER] = T_XPV_TIMER | AV_PERIODIC;