Description of problem: When I do "man ctime" or "man 3 ctime", I get to see SystemTap's man page and not of the standard ctime function's man page. It's quite difficult to access ctime() man page as neither "apropos ctime" nor "whatis ctime" return any results. The only way is to "man -a ctime" and close the first SystemTap result. The actual man page of ctime() also seems to be in section 3, but cannot be accessible with "man 3 ctime" since SystemTap's page shadows it.
This problem was fixed with the systemtap-1.2 update some weeks back, so that the tapset ctime function is called function::ctime (3stap). Please check that your system is up to date.
You're right. I just updated to SystemTap 1.2.1 and this problem is fixed. Thanks.