Modifying nice_to_prioity() in /usr/src/servers/pm/utility.c to adjust amount of tickets