Gabriele Monaco [off-list ref] writes:

+ * Automatically generated by rvgen kunit.

I was slightly confused by this, as I wasn't aware that rvgen can
generate this.

The patch adding generation support into rvgen should be before
this patch. But oh well, no big deal.

Reviewed-by: Nam Cao <redacted>