[L4alpha-cvscommit] CVS: L4Alpha/include/lib/l4 kdebug.h,1.2,1.3 types.h,1.3,1.4

[Daniel P. <dp...@us...>]

Update of /cvsroot/l4alpha/L4Alpha/include/lib/l4
In directory usw-pr-cvs1:/tmp/cvs-serv12022/include/lib/l4

Modified Files:
	kdebug.h types.h 
Log Message:
benno header changes for neater compiles.


Index: kdebug.h
===================================================================
RCS file: /cvsroot/l4alpha/L4Alpha/include/lib/l4/kdebug.h,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** kdebug.h	13 Apr 2001 05:45:51 -0000	1.2
--- kdebug.h	9 Apr 2002 01:25:50 -0000	1.3
***************
*** 44,47 ****
--- 44,51 ----
  extern char l4dbg_get_dbg_char (void);
  
+ L4_INLINE char get_dbg_char(void);
+ L4_INLINE void print_dbg_char (char c);
+ L4_INLINE char get_char (void);
+ 
  L4_INLINE void 
  halt (void);

Index: types.h
===================================================================
RCS file: /cvsroot/l4alpha/L4Alpha/include/lib/l4/types.h,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** types.h	13 Apr 2001 05:45:51 -0000	1.3
--- types.h	9 Apr 2002 01:25:50 -0000	1.4
***************
*** 37,41 ****
  typedef unsigned short int  word_t;
  typedef unsigned int        dword_t;
! typedef unsigned long long  qword_t;		
  typedef long long	    cpu_time_t;
  
--- 37,41 ----
  typedef unsigned short int  word_t;
  typedef unsigned int        dword_t;
! typedef unsigned long       qword_t;		
  typedef long long	    cpu_time_t;
  
***************
*** 199,203 ****
  L4_INLINE int l4_is_invalid_id(l4_threadid_t id);
  L4_INLINE l4_fpage_t l4_fpage(unsigned long address, unsigned int size, 
! 				  unsigned char write, unsigned char grant);
  L4_INLINE l4_threadid_t get_taskid(l4_threadid_t t);
  L4_INLINE int thread_equal(l4_threadid_t t1,l4_threadid_t t2);
--- 199,203 ----
  L4_INLINE int l4_is_invalid_id(l4_threadid_t id);
  L4_INLINE l4_fpage_t l4_fpage(unsigned long address, unsigned int size, 
! 				  unsigned char write_mode, unsigned char grant);
  L4_INLINE l4_threadid_t get_taskid(l4_threadid_t t);
  L4_INLINE int thread_equal(l4_threadid_t t1,l4_threadid_t t2);
***************
*** 216,222 ****
  
  L4_INLINE l4_fpage_t l4_fpage(unsigned long address, unsigned int size, 
! 				  unsigned char write, unsigned char grant)
  {
!   return ((l4_fpage_t){fp:{grant, write, size, 0, 
  			     (address & L4_PAGEMASK) >> L4_LOG2_PAGESIZE }});
  }
--- 216,222 ----
  
  L4_INLINE l4_fpage_t l4_fpage(unsigned long address, unsigned int size, 
! 				  unsigned char write_mode, unsigned char grant)
  {
!   return ((l4_fpage_t){fp:{grant, write_mode, size, 0, 
  			     (address & L4_PAGEMASK) >> L4_LOG2_PAGESIZE }});
  }