Parent Directory | Revision Log | Patch
revision 1.3 by marcus, Tue Mar 16 03:34:03 2004 UTC | revision 1.4 by marcus, Wed Oct 6 15:13:02 2004 UTC | |
---|---|---|
# | Line 36 static inline _L4_word_t | Line 36 static inline _L4_word_t |
36 | _L4_attribute_always_inline | _L4_attribute_always_inline |
37 | _L4_set_page_attribute (_L4_fpage_t fpage, _L4_word_t attribute) | _L4_set_page_attribute (_L4_fpage_t fpage, _L4_word_t attribute) |
38 | { | { |
39 | _L4_word_t attributes[4]; | |
40 | ||
41 | attributes[0] = attribute; | |
42 | _L4_set_rights (&fpage, 0); | _L4_set_rights (&fpage, 0); |
43 | _L4_load_mr (0, fpage); | _L4_load_mr (0, fpage); |
44 | return _L4_memory_control (0, &attribute); | return _L4_memory_control (0, &attribute); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |