/*
	Just a dummy to avoid a special case in the build system. system_time()
	is implemented in system_time_asm.S.
*/