Change Details

compiles and we have been using this in CheriBSD for a long time.

compiles and we have been using a similar diff in CheriBSD for a long time.

compiles and we have been using thisa similar diff in CheriBSD for a long time.