rpcc_after_update_in_progress 413 arch/alpha/kernel/time.c cc1 = rpcc_after_update_in_progress(); rpcc_after_update_in_progress 414 arch/alpha/kernel/time.c cc2 = rpcc_after_update_in_progress();