[PATCH v9 03/14] server: Rename base_priority to effective_priority in apply_thread_priority.