tag	line	file	source code
rpcc	68	arch/alpha/kernel/time.c	now = rpcc();
rpcc	177	arch/alpha/kernel/time.c	state.last_time = rpcc();