prctl: update types for prctl args