prctl: update types and docs