CTSRD-CHERI/cheribsd — pull request #3 by rmn30 (2014-04-01 13:17:44+00:00)
Title: Fix for previous commit and move function to header

Somehow I managed to introduce a syntax error with the setreg change so better fix that.

Also the slight refactoring I mentioned on IRC.