Hi,
The source code you are seeking is freely available on any of the OpenBSD mirrors:
Getting OpenBSD
Open one of the mirror sites, go into the 4.2/ directory and you will see sys.tar.gz
Download that, extract it and there you have the source code for 4.2.
You may also view it over the web via:
src/sys/