Lines Matching refs:pid2
21 static void check_pid(int pid, int pid2, const char *instr)
23 if (pid == pid2)
31 int pid, pid2, dummy;
37 SYSCALL("syscall", SYS_getpid, pid2);
38 check_pid(pid, pid2, "syscall");
41 SYSCALL("sysenter", SYS_getpid, pid2);
42 check_pid(pid, pid2, "sysenter");
45 SYSCALL("int $0x80", SYS_getpid, pid2);
46 check_pid(pid, pid2, "int $0x80");
48 SYSCALL("int $0x81", SYS_getpid, pid2);
49 check_pid(pid, pid2, "int $0x81");
51 SYSCALL("int $0x82", SYS_getpid, pid2);
52 check_pid(pid, pid2, "int $0x82");
