Now we save/restore utcb registers if we do a second ipc before returning the first.

This commit is contained in:
Bahadir Balban
2008-04-22 00:30:07 +01:00
parent 80470e2581
commit e8bb529dcb
3 changed files with 33 additions and 1 deletions

View File

@@ -30,6 +30,8 @@ int pager_sys_open(l4id_t sender, int fd, unsigned long vnum, unsigned long size
{
int err;
l4_save_ipcregs();
write_mr(L4SYS_ARG0, sender);
write_mr(L4SYS_ARG1, fd);
write_mr(L4SYS_ARG2, vnum);
@@ -46,6 +48,7 @@ int pager_sys_open(l4id_t sender, int fd, unsigned long vnum, unsigned long size
printf("%s: Pager open Error: %d.\n", __FUNCTION__, fd);
return err;
}
l4_restore_ipcregs();
return 0;
}