1
/* sig-sysdep.h - Hurd system specific header file.
2
Copyright (C) 2008 Free Software Foundation, Inc.
3
Written by Neal H. Walfield <neal@gnu.org>.
5
This file is part of the GNU Hurd.
7
The GNU Hurd is free software; you can redistribute it and/or
8
modify it under the terms of the GNU Lesser General Public License
9
as published by the Free Software Foundation; either version 3 of
10
the License, or (at your option) any later version.
12
The GNU Hurd is distributed in the hope that it will be useful, but
13
WITHOUT ANY WARRANTY; without even the implied warranty of
14
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15
Lesser General Public License for more details.
17
You should have received a copy of the GNU Lesser General Public
18
License along with this program. If not, see
19
<http://www.gnu.org/licenses/>. */
26
l4_word_t saved_sender;
27
l4_word_t saved_receiver;
28
l4_word_t saved_timeout;
29
l4_word_t saved_error_code;
30
l4_word_t saved_flags;
32
l4_msg_t saved_message;
36
utcb_state_save (struct utcb *buffer)
38
l4_word_t *utcb = _L4_utcb ();
40
buffer->saved_sender = utcb[_L4_UTCB_SENDER];
41
buffer->saved_receiver = utcb[_L4_UTCB_RECEIVER];
42
buffer->saved_timeout = utcb[_L4_UTCB_TIMEOUT];
43
buffer->saved_error_code = utcb[_L4_UTCB_ERROR_CODE];
44
buffer->saved_flags = utcb[_L4_UTCB_FLAGS];
45
buffer->saved_br0 = utcb[_L4_UTCB_BR0];
46
memcpy (&buffer->saved_message,
47
utcb, L4_NUM_MRS * sizeof (l4_word_t));
51
utcb_state_restore (struct utcb *buffer)
53
l4_word_t *utcb = _L4_utcb ();
55
utcb[_L4_UTCB_SENDER] = buffer->saved_sender;
56
utcb[_L4_UTCB_RECEIVER] = buffer->saved_receiver;
57
utcb[_L4_UTCB_TIMEOUT] = buffer->saved_timeout;
58
utcb[_L4_UTCB_ERROR_CODE] = buffer->saved_error_code;
59
utcb[_L4_UTCB_FLAGS] = buffer->saved_flags;
60
utcb[_L4_UTCB_BR0] = buffer->saved_br0;
61
memcpy (utcb, &buffer->saved_message,
62
L4_NUM_MRS * sizeof (l4_word_t));
65
#define SIGNAL_DISPATCH_ENTRY \
66
struct utcb buffer; utcb_state_save (&buffer);
68
#define SIGNAL_DISPATCH_EXIT \
69
utcb_state_restore (&buffer);