Adding pid parameter to the set wcet syscall..