If you've overclocked it, you'd know. 'Cause you'd have to do it manually. Unless you bought it used or some crap.
Google a how-to-overclock-your-laptop tutorial, and see if what they say to do has already been done.