PID swapped working

6 changed files with 6 additions and 0 deletions
--- a/drivers/storage/memory/imgrd.o
+++ b/drivers/storage/memory/imgrd.o
--- a/drivers/storage/memory/memory
+++ b/drivers/storage/memory/memory
--- a/drivers/storage/ramdisk/image
+++ b/drivers/storage/ramdisk/image
--- a/servers/sched/sched
+++ b/servers/sched/sched
--- a/servers/sched/schedule.c
+++ b/servers/sched/schedule.c
@ -319,6 +319,12 @@ static int schedule_process(struct schedproc * rmp, unsigned flags)
 	else
 		new_cpu = -1;

+	//processes are swapped here
+	if (rmp->priority >= 7 && rmp->max_priority == 7)
+	{
+		printf("MINIX: PID %d swapped in\n", _ENDPOINT_P(rmp->endpoint));
+	}
+
 	if ((err = sys_schedule(rmp->endpoint, new_prio,
 		new_quantum, new_cpu)) != OK) {
 		printf("PM: An error occurred when trying to schedule %d: %d\n",
--- a/servers/sched/schedule.o
+++ b/servers/sched/schedule.o