Fixed some inconsistent strict typing declarations.

Better strict typing.
This commit is contained in:
Kees van Reeuwijk 2010-05-25 07:23:24 +00:00
parent 2a8961cdac
commit ac14a989b3
9 changed files with 11 additions and 9 deletions

View File

@ -93,7 +93,7 @@
#include "kernel/kernel.h" #include "kernel/kernel.h"
EXTERN vir_bytes lapic_addr; EXTERN vir_bytes lapic_addr;
EXTERN u32_t lapic_eoi_addr; EXTERN vir_bytes lapic_eoi_addr;
#define MAX_NR_IOAPICS 32 #define MAX_NR_IOAPICS 32
#define MAX_NR_BUSES 32 #define MAX_NR_BUSES 32

View File

@ -320,7 +320,7 @@ for (rp = BEG_PROC_ADDR; rp < END_PROC_ADDR; ++rp) {
CHECK(rp->p_reg.gs, ds); CHECK(rp->p_reg.gs, ds);
CHECK(rp->p_reg.fs, ds); CHECK(rp->p_reg.fs, ds);
CHECK(rp->p_reg.ss, ds); CHECK(rp->p_reg.ss, ds);
if(rp->p_endpoint != -2) { if(rp->p_endpoint != SYSTEM) {
CHECK(rp->p_reg.es, ds); CHECK(rp->p_reg.es, ds);
} }
CHECK(rp->p_reg.ds, ds); CHECK(rp->p_reg.ds, ds);

View File

@ -461,6 +461,7 @@ proc_nr_t src_dst; /* src or dst process */
processes[0] = cp; processes[0] = cp;
#endif #endif
/* FIXME: this compares a proc_nr_t with a endpoint_t */
while (src_dst != ANY) { /* check while process nr */ while (src_dst != ANY) { /* check while process nr */
endpoint_t dep; endpoint_t dep;
xp = proc_addr(src_dst); /* follow chain of processes */ xp = proc_addr(src_dst); /* follow chain of processes */
@ -476,6 +477,7 @@ proc_nr_t src_dst; /* src or dst process */
return 0; return 0;
if(dep == ANY) if(dep == ANY)
/* FIXME: this assigns a proc_nr_t to a endpoint_t */
src_dst = ANY; src_dst = ANY;
else else
okendpt(dep, &src_dst); okendpt(dep, &src_dst);

View File

@ -260,7 +260,7 @@ EXTERN struct proc proc[NR_TASKS + NR_PROCS]; /* process table */
EXTERN struct proc *rdy_head[NR_SCHED_QUEUES]; /* ptrs to ready list headers */ EXTERN struct proc *rdy_head[NR_SCHED_QUEUES]; /* ptrs to ready list headers */
EXTERN struct proc *rdy_tail[NR_SCHED_QUEUES]; /* ptrs to ready list tails */ EXTERN struct proc *rdy_tail[NR_SCHED_QUEUES]; /* ptrs to ready list tails */
_PROTOTYPE( int mini_send, (struct proc *caller_ptr, int dst_e, _PROTOTYPE( int mini_send, (struct proc *caller_ptr, endpoint_t dst_e,
message *m_ptr, int flags)); message *m_ptr, int flags));
#endif /* __ASSEMBLY__ */ #endif /* __ASSEMBLY__ */

View File

@ -24,8 +24,8 @@ PUBLIC int do_privctl(struct proc * caller, message * m_ptr)
* yet a system process, make sure it gets its own privilege structure. * yet a system process, make sure it gets its own privilege structure.
*/ */
struct proc *rp; struct proc *rp;
int proc_nr; proc_nr_t proc_nr;
int priv_id; sys_id_t priv_id;
int ipc_to_m, kcalls; int ipc_to_m, kcalls;
int i, r; int i, r;
struct io_range io_range; struct io_range io_range;

View File

@ -11,7 +11,7 @@ FORWARD _PROTOTYPE( void safe_io_cleanup, (cp_grant_id_t, cp_grant_id_t *,
int)); int));
FORWARD _PROTOTYPE( int gen_opcl, (endpoint_t driver_e, int op, FORWARD _PROTOTYPE( int gen_opcl, (endpoint_t driver_e, int op,
dev_t dev, int proc_e, int flags)); dev_t dev, int proc_e, int flags));
FORWARD _PROTOTYPE( int gen_io, (int task_nr, message *mess_ptr)); FORWARD _PROTOTYPE( int gen_io, (endpoint_t task_nr, message *mess_ptr));
/*===========================================================================* /*===========================================================================*

View File

@ -32,7 +32,7 @@ _PROTOTYPE( int fs_new_driver, (void) );
_PROTOTYPE( struct inode *alloc_inode, (dev_t dev, mode_t bits) ); _PROTOTYPE( struct inode *alloc_inode, (dev_t dev, mode_t bits) );
_PROTOTYPE( void dup_inode, (struct inode *ip) ); _PROTOTYPE( void dup_inode, (struct inode *ip) );
_PROTOTYPE( struct inode *find_inode, (dev_t dev, int numb) ); _PROTOTYPE( struct inode *find_inode, (dev_t dev, int numb) );
_PROTOTYPE( void free_inode, (dev_t dev, Ino_t numb) ); _PROTOTYPE( void free_inode, (dev_t dev, ino_t numb) );
_PROTOTYPE( int fs_getnode, (void) ); _PROTOTYPE( int fs_getnode, (void) );
_PROTOTYPE( int fs_putnode, (void) ); _PROTOTYPE( int fs_putnode, (void) );
_PROTOTYPE( void init_inode_cache, (void) ); _PROTOTYPE( void init_inode_cache, (void) );

View File

@ -213,7 +213,7 @@ PUBLIC int do_srv_kill()
/*===========================================================================* /*===========================================================================*
* process_ksig * * process_ksig *
*===========================================================================*/ *===========================================================================*/
PUBLIC int process_ksig(int proc_nr_e, int signo) PUBLIC int process_ksig(endpoint_t proc_nr_e, int signo)
{ {
register struct mproc *rmp; register struct mproc *rmp;
int proc_nr; int proc_nr;

View File

@ -163,7 +163,7 @@ int code; /* status code */
/*===========================================================================* /*===========================================================================*
* rs_isokendpt * * rs_isokendpt *
*===========================================================================*/ *===========================================================================*/
PUBLIC int rs_isokendpt(int endpoint, int *proc) PUBLIC int rs_isokendpt(endpoint_t endpoint, int *proc)
{ {
*proc = _ENDPOINT_P(endpoint); *proc = _ENDPOINT_P(endpoint);
if(*proc < -NR_TASKS || *proc >= NR_PROCS) if(*proc < -NR_TASKS || *proc >= NR_PROCS)