hi, Linux kernel 3.13.3 is added into http://www.xrefs.info.
For the people don't know, http://www.xrefs.info covers many open
source projects source coe cross reference search based on OpenGrok.
Check it, and hope it helps. Feel free to leave a comment. Thx.
xrefs.info admin