TIMER_TEST_VAL
lapic_data.vl_lapic.vlp_icr_timer = TIMER_TEST_VAL;
if (ccr_value != TIMER_TEST_VAL) {
ccr_value, TIMER_TEST_VAL);