|
@@ -178,20 +178,23 @@ int start_uml_skas(void)
|
|
|
|
|
|
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;
|