summaryrefslogtreecommitdiff
path: root/libl4/l4
diff options
context:
space:
mode:
authormarcus <marcus>2005-02-23 00:31:38 +0000
committermarcus <marcus>2005-02-23 00:31:38 +0000
commita71e3bf2bd292c482c1aa9b14ac1f5ae7db42bfe (patch)
treedca67df638db8c55fe607b39bdf9c0284931c853 /libl4/l4
parente8cbe4446054284b8d8afb7bf3704fa9c5fcc8f4 (diff)
2005-02-23 Marco Gerards <metgerards@student.han.nl>
* l4/sigma0.h (_L4_sigma0_get_page_rcv_window): Add local variable TAG. * l4/compat/sigma0.h (L4_Sigma0_GetAny): Change the argument name rcvwindow to rcv_window. Add local variable fpage. * l4/gnu/sigma0.h (l4_sigma0_set_verbosity): Do not store the return value of _L4_call. (l4_sigma0_dump_memory): Likewise, also for l4_send. Fix typos.
Diffstat (limited to 'libl4/l4')
-rw-r--r--libl4/l4/compat/sigma0.h3
-rw-r--r--libl4/l4/gnu/sigma0.h10
-rw-r--r--libl4/l4/sigma0.h1
3 files changed, 8 insertions, 6 deletions
diff --git a/libl4/l4/compat/sigma0.h b/libl4/l4/compat/sigma0.h
index f6f0d6a..19635d0 100644
--- a/libl4/l4/compat/sigma0.h
+++ b/libl4/l4/compat/sigma0.h
@@ -45,8 +45,9 @@ L4_Sigma0_GetPage (L4_ThreadId_t sigma0, L4_Fpage_t fpage)
static inline L4_Fpage_t
_L4_attribute_always_inline
-L4_Sigma0_GetAny (L4_ThreadId_t sigma0, L4_Word_t size, L4_Fpage_t rcvwindow)
+L4_Sigma0_GetAny (L4_ThreadId_t sigma0, L4_Word_t size, L4_Fpage_t rcv_window)
{
+ L4_Fpage_t fpage;
fpage.raw = _L4_sigma0_get_any (sigma0.raw, size, rcv_window.raw);
return fpage;
}
diff --git a/libl4/l4/gnu/sigma0.h b/libl4/l4/gnu/sigma0.h
index 1702cef..f7c6838 100644
--- a/libl4/l4/gnu/sigma0.h
+++ b/libl4/l4/gnu/sigma0.h
@@ -78,7 +78,7 @@ l4_sigma0_set_verbosity (l4_word_t level)
_L4_set_msg_tag (_tag.raw);
_L4_load_mr (1, L4_SIGMA0_MSG_EXT_SET_VERBOSITY);
_L4_load_mr (2, level);
- tag = _L4_call (L4_SIGMA0_TID);
+ _L4_call (L4_SIGMA0_TID);
}
@@ -89,15 +89,15 @@ l4_sigma0_dump_memory (l4_word_t wait)
__L4_msg_tag_t _tag;
_tag.raw = _L4_niltag;
- _tag.label = L4_MSG_SIGMA0_EXT;
+ _tag.label = L4_SIGMA0_MSG_EXT;
_tag.untyped = 2;
_L4_set_msg_tag (_tag.raw);
- l4_load_mr (1, L4_SIGMA0_EXT_DUMP_MEMORY);
+ l4_load_mr (1, L4_SIGMA0_MSG_EXT_DUMP_MEMORY);
l4_load_mr (2, wait);
if (wait)
- tag = l4_call (L4_SIGMA0_TID);
+ l4_call (L4_SIGMA0_TID);
else
- tag = l4_send (L4_SIGMA0_TID);
+ l4_send (L4_SIGMA0_TID);
}
diff --git a/libl4/l4/sigma0.h b/libl4/l4/sigma0.h
index 7d83b51..e783f59 100644
--- a/libl4/l4/sigma0.h
+++ b/libl4/l4/sigma0.h
@@ -37,6 +37,7 @@ _L4_sigma0_get_page_rcv_window (_L4_thread_id_t sigma0, _L4_fpage_t fpage,
_L4_fpage_t rcv_window)
{
__L4_msg_tag_t _tag;
+ _L4_msg_tag_t tag;
_L4_word_t mrs[2];
_L4_accept (_L4_map_grant_items (rcv_window));