1 |
/* l4/pagefault.h - Public interface to the pagefault protocol. |
/* l4/pagefault.h - Public interface to the pagefault protocol. |
2 |
Copyright (C) 2004 Free Software Foundation, Inc. |
Copyright (C) 2004, 2005 Free Software Foundation, Inc. |
3 |
Written by Marcus Brinkmann <marcus@gnu.org>. |
Written by Marcus Brinkmann <marcus@gnu.org>. |
4 |
|
|
5 |
This file is part of the GNU L4 library. |
This file is part of the GNU L4 library. |
77 |
_L4_msg_tag_t tag; |
_L4_msg_tag_t tag; |
78 |
_L4_word_t msg[2]; |
_L4_word_t msg[2]; |
79 |
|
|
80 |
*((_L4_dword_t *) msg) = *((_L4_dword_t *) item); |
/* We have to use memcpy here to avoid breaking the strict aliasing |
81 |
|
rules, as we don't know the type of ITEM. */ |
82 |
|
__builtin_memcpy (msg, item, sizeof (msg)); |
83 |
|
|
84 |
_tag.raw = _L4_niltag; |
_tag.raw = _L4_niltag; |
85 |
_tag.typed = 2; |
_tag.typed = 2; |