int external_pid_skas(struct task_struct *task)
 {
-#warning Need to look up userspace_pid by cpu
+       /* FIXME: Need to look up userspace_pid by cpu */
        return(userspace_pid[0]);
 }
 
 int thread_pid_skas(struct task_struct *task)
 {
-#warning Need to look up userspace_pid by cpu
+       /* FIXME: Need to look up userspace_pid by cpu */
        return(userspace_pid[0]);
 }
 
 void kill_off_processes_skas(void)
 {
        if(proc_mm)
-#warning need to loop over userspace_pids in kill_off_processes_skas
+               /*
+                * FIXME: need to loop over userspace_pids in
+                * kill_off_processes_skas
+                */
                os_kill_ptraced_process(userspace_pid[0], 1);
        else {
                struct task_struct *p;
 
        int err, pid = mm_idp->u.pid;
 
        if(proc_mm)
-#warning Need to look up userspace_pid by cpu
+               /* FIXME: Need to look up userspace_pid by cpu */
                pid = userspace_pid[0];
 
        multi_count++;
 
 {
        int err;
 
-#warning need cpu pid in switch_mm_skas
+       /* FIXME: need cpu pid in switch_mm_skas */
        if(proc_mm){
                err = ptrace(PTRACE_SWITCH_MM, userspace_pid[0], 0,
                             mm_idp->u.mm_fd);