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