/[hurd]/hurd-l4/libl4/l4/gnu/space.h
ViewVC logotype

Diff of /hurd-l4/libl4/l4/gnu/space.h

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.7 by marcus, Wed Oct 27 20:14:51 2004 UTC revision 1.8 by marcus, Thu Oct 28 19:20:04 2004 UTC
# Line 36  Line 36 
36  #define L4_COMPLETE_ADDRESS_SPACE       _L4_complete_address_space  #define L4_COMPLETE_ADDRESS_SPACE       _L4_complete_address_space
37    
38    
39  static inline l4_word_t  static inline bool
40  _L4_attribute_always_inline  _L4_attribute_always_inline
41  l4_is_nil_fpage (l4_fpage_t fpage)  l4_is_nil_fpage (l4_fpage_t fpage)
42  {  {
# Line 172  l4_get_status (l4_fpage_t fpage) Line 172  l4_get_status (l4_fpage_t fpage)
172  }  }
173    
174    
175  static inline l4_word_t  static inline bool
176  _L4_attribute_always_inline  _L4_attribute_always_inline
177  l4_was_referenced (l4_fpage_t fpage)  l4_was_referenced (l4_fpage_t fpage)
178  {  {
# Line 180  l4_was_referenced (l4_fpage_t fpage) Line 180  l4_was_referenced (l4_fpage_t fpage)
180  }  }
181    
182    
183  static inline l4_word_t  static inline bool
184  _L4_attribute_always_inline  _L4_attribute_always_inline
185  l4_was_written (l4_fpage_t fpage)  l4_was_written (l4_fpage_t fpage)
186  {  {
# Line 188  l4_was_written (l4_fpage_t fpage) Line 188  l4_was_written (l4_fpage_t fpage)
188  }  }
189    
190    
191  static inline l4_word_t  static inline bool
192  _L4_attribute_always_inline  _L4_attribute_always_inline
193  l4_was_executed (l4_fpage_t fpage)  l4_was_executed (l4_fpage_t fpage)
194  {  {

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26