Use helpers to obtain task pid in printks