Revert changeset jakub@jermar.eu-20120813091557-kjge8riit1auk5ma
commit6d351e674a67b6ecee3c205c0f09e29e92b462be
authorJakub Jermar <jakub@jermar.eu>
Mon, 29 Aug 2016 07:53:23 +0000 (29 09:53 +0200)
committerJakub Jermar <jakub@jermar.eu>
Mon, 29 Aug 2016 07:53:23 +0000 (29 09:53 +0200)
treeb89e4377eeee45401870f8f5917d4a8f18f8f904
parent519a97d1526b80dda563656459af1e2d22dd6e19
Revert changeset jakub@jermar.eu-20120813091557-kjge8riit1auk5ma

We will use the possibility to specify a different answerbox for replies
for sending page in and page out requests from the user_backend page
fault handler.
kernel/generic/include/ipc/ipc.h
kernel/generic/src/ipc/ipc.c