/[hurd]/hurd-l4/libl4/l4/kip.h
ViewVC logotype

Diff of /hurd-l4/libl4/l4/kip.h

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

revision 1.5 by marcus, Thu Sep 18 15:46:58 2003 UTC revision 1.6 by marcus, Thu Sep 18 22:30:31 2003 UTC
# Line 352  l4_kernel_id (void) Line 352  l4_kernel_id (void)
352  {  {
353    l4_kern_desc_t kern;    l4_kern_desc_t kern;
354    
355    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip ()    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip () + l4_kip ()->kern_desc_ptr);
                            + l4_kip ()->kern_desc_ptr);  
356    return kern->id;    return kern->id;
357  }  }
358    
# Line 364  l4_kernel_gen_date (l4_word_t *year, l4_ Line 363  l4_kernel_gen_date (l4_word_t *year, l4_
363  {  {
364    l4_kern_desc_t kern;    l4_kern_desc_t kern;
365    
366    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip ()    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip () + l4_kip ()->kern_desc_ptr);
                            + l4_kip ()->kern_desc_ptr);  
367    
368    if (year)    if (year)
369      *year = kern->gen_date.year + 2000;      *year = kern->gen_date.year + 2000;
# Line 382  l4_kernel_version (l4_word_t *ver, l4_wo Line 380  l4_kernel_version (l4_word_t *ver, l4_wo
380  {  {
381    l4_kern_desc_t kern;    l4_kern_desc_t kern;
382    
383    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip ()    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip () + l4_kip ()->kern_desc_ptr);
                            + l4_kip ()->kern_desc_ptr);  
384    
385    if (ver)    if (ver)
386      *ver = kern->version.ver;      *ver = kern->version.ver;
# Line 400  l4_kernel_supplier (void) Line 397  l4_kernel_supplier (void)
397  {  {
398    l4_kern_desc_t kern;    l4_kern_desc_t kern;
399    
400    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip ()    kern = (l4_kern_desc_t) ((l4_word_t) l4_kip () + l4_kip ()->kern_desc_ptr);
                            + l4_kip ()->kern_desc_ptr);  
401    
402    return kern->supplier;    return kern->supplier;
403  }  }
# Line 422  l4_proc_desc (l4_word_t num) Line 418  l4_proc_desc (l4_word_t num)
418    if (num >= l4_num_processors ())    if (num >= l4_num_processors ())
419      return (l4_proc_desc_t) 0;      return (l4_proc_desc_t) 0;
420    
421    return (l4_proc_desc_t) ((l4_word_t) l4_kip ()    return (l4_proc_desc_t) ((l4_word_t) l4_kip () + l4_kip ()->proc_desc_ptr)
                            + l4_kip ()->proc_desc_ptr)  
422      + num * (1 << l4_kip ()->processor_info.log2_size);      + num * (1 << l4_kip ()->processor_info.log2_size);
423  }  }
424    
# Line 445  l4_proc_external_freq (l4_proc_desc_t pr Line 440  l4_proc_external_freq (l4_proc_desc_t pr
440    
441    
442  #define L4_MIN_PAGE_SIZE_LOG2   10  #define L4_MIN_PAGE_SIZE_LOG2   10
443    #define L4_MIN_PAGE_SIZE        (L4_WORD_C(1) << L4_MIN_PAGE_SIZE_LOG2)
444    
445  static inline l4_word_t  static inline l4_word_t
446  __attribute__((__always_inline__))  __attribute__((__always_inline__))
# Line 635  l4_memory_desc (l4_word_t num) Line 631  l4_memory_desc (l4_word_t num)
631    if (num >= l4_num_memory_desc ())    if (num >= l4_num_memory_desc ())
632      return (l4_memory_desc_t) 0;      return (l4_memory_desc_t) 0;
633    
634    mem = (l4_memory_desc_t)    mem = (l4_memory_desc_t) ((l4_word_t) l4_kip ()
635      ((l4_word_t) l4_kip ()                              + l4_kip ()->memory_info.mem_desc_ptr);
      + l4_kip ()->memory_info.mem_desc_ptr);  
636    return mem + num;    return mem + num;
637  }  }
638    
# Line 658  l4_memory_desc_type (l4_memory_desc_t me Line 653  l4_memory_desc_type (l4_memory_desc_t me
653  }  }
654    
655    
656    /* Return the address of the first byte of the memory region described
657       by MEM.  */
658  static inline l4_word_t  static inline l4_word_t
659  __attribute__((__always_inline__))  __attribute__((__always_inline__))
660  l4_memory_desc_low (l4_memory_desc_t mem)  l4_memory_desc_low (l4_memory_desc_t mem)
661  {  {
662      /* The lower 10 bits are hard-wired to 0.  */
663    return mem->low << 10;    return mem->low << 10;
664  }  }
665    
666    
667    /* Return the address of the last byte of the memory region described
668       by MEM.  */
669  static inline l4_word_t  static inline l4_word_t
670  __attribute__((__always_inline__))  __attribute__((__always_inline__))
671  l4_memory_desc_high (l4_memory_desc_t mem)  l4_memory_desc_high (l4_memory_desc_t mem)
672  {  {
673    return mem->high << 10;    /* The lower 10 bits are hard-wired to 1.  */
674      return (mem->high << 10) | ((1 << 10) - 1);
675  }  }
676    
677  #endif  /* l4/kip.h */  #endif  /* l4/kip.h */

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6

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