+/* Invokes a system call with the system call number and its
+ argument on separate pages. This must work. */
+
#include <syscall-nr.h>
#include "tests/userprog/boundary.h"
#include "tests/lib.h"
p[1] = 42;
/* Invoke the system call. */
- asm volatile ("mov %%esp, %0; int 0x30" :: "g" (p));
+ asm volatile ("movl %0, %%esp; int $0x30" :: "g" (p));
fail ("should have called exit(42)");
}