]> Zhao Yanbai Git Server - minix.git/commitdiff
Kernel: convert K&R functions to ANSI 69/3269/3
authorDr. Florian Grätz <florian.graetz@gmail.com>
Thu, 5 Nov 2015 14:39:38 +0000 (15:39 +0100)
committerLionel Sambuc <lionel.sambuc@gmail.com>
Sat, 16 Jan 2016 13:04:17 +0000 (14:04 +0100)
Changed all K&R style functions to ANSI-style declarations within the
kernel directory. The code compiles and aparently works for i386. For
arm my toolchain does not work, but I have changed the code with great
care. Also, the make command fails for the test suite. Therefore, I
strongly recommand to review the code with care.

Edited by David van Moolenbroek to convert really all K&R functions.

Change-Id: I58cde797d36f4caa9c72db4e4dc27d8545ab8866

30 files changed:
minix/kernel/arch/earm/arch_do_vmctl.c
minix/kernel/arch/earm/arch_system.c
minix/kernel/arch/earm/bsp/include/bsp_init.h
minix/kernel/arch/earm/bsp/include/bsp_serial.h
minix/kernel/arch/earm/bsp/ti/omap_init.c
minix/kernel/arch/earm/bsp/ti/omap_serial.c
minix/kernel/arch/earm/bsp/ti/omap_serial.h
minix/kernel/arch/earm/bsp/ti/omap_timer.c
minix/kernel/arch/earm/hw_intr.c
minix/kernel/arch/earm/include/arch_proto.h
minix/kernel/arch/earm/include/cpufunc.h
minix/kernel/arch/earm/include/hw_intr.h
minix/kernel/arch/earm/memory.c
minix/kernel/arch/earm/pg_utils.c
minix/kernel/arch/earm/protect.c
minix/kernel/arch/i386/arch_do_vmctl.c
minix/kernel/arch/i386/arch_system.c
minix/kernel/arch/i386/memory.c
minix/kernel/arch/i386/pg_utils.c
minix/kernel/arch/i386/protect.c
minix/kernel/clock.c
minix/kernel/main.c
minix/kernel/proc.c
minix/kernel/profile.c
minix/kernel/proto.h
minix/kernel/system.c
minix/kernel/system/do_irqctl.c
minix/kernel/system/do_safecopy.c
minix/kernel/system/do_vtimer.c
minix/kernel/utility.c

index bb8d231e99adbc5daa385fbf702330801ee805ed..d1cd417c07ec021b63bacbfe38c933b8b6239654 100644 (file)
@@ -32,9 +32,10 @@ static void set_ttbr(struct proc *p, u32_t ttbr, u32_t *v)
 /*===========================================================================*
  *                             arch_do_vmctl                                *
  *===========================================================================*/
-int arch_do_vmctl(m_ptr, p)
-register message *m_ptr;       /* pointer to request message */
-struct proc *p;
+int arch_do_vmctl(
+  register message *m_ptr,     /* pointer to request message */
+  struct proc *p
+)
 {
   switch(m_ptr->SVMCTL_PARAM) {
        case VMCTL_GET_PDBR:
index 9399c2e4cc14c92a03e469fd8439cddd4b6e7d0c..7e7de8d61283fe0645b6663d81e4afe19a9d2e8d 100644 (file)
@@ -134,7 +134,7 @@ void arch_init(void)
 /*===========================================================================*
  *                             do_ser_debug                                 * 
  *===========================================================================*/
-void do_ser_debug()
+void do_ser_debug(void)
 {
 }
 
index 36361243e909c7207344169dc7a3f264aae6f067..d48b8c1848d31dd1aac667cecd0d6659f807425c 100644 (file)
@@ -2,6 +2,6 @@
 #define _BSP_INIT_H_
 
 /* BSP init */
-void bsp_init();
+void bsp_init(void);
 
 #endif /* __BSP_INIT_H__ */
index 4cd0ee4e7bf29b28a2fec86f69b429f5ba080481..82b1c54d28f4a92a7e0aadb201432806a0922a53 100644 (file)
@@ -1,6 +1,7 @@
 #ifndef _BSP_SERIAL_H_
 #define _BSP_SERIAL_H_
 
-void bsp_ser_init();
+void bsp_ser_init(void);
 void bsp_ser_putc(char c);
+
 #endif /* _BSP_SERIAL_H_ */
index 99a47b765fb8dab9123390cd505c9eae426d76e6..18e246a197fadcdfd975039cf8f0bd949b005775 100644 (file)
@@ -5,8 +5,9 @@
 #include "bsp_reset.h"
 
 void
-bsp_init()
+bsp_init(void)
 {
+
        /* map memory for padconf */
        bsp_padconf_init();
 
index 9affc52efdb9b414d0e170777fd8c8958174583d..48408073e276bec68880b71c3fb26b55aee7a475 100644 (file)
@@ -43,7 +43,7 @@ static kern_phys_map serial_phys_map;
  * in high memory so keep in mind there are two copies of this code in the kernel.
  */
 void
-bsp_ser_init()
+bsp_ser_init(void)
 {
        if (BOARD_IS_BBXM(machine.board_id)) {
                omap_serial.base = OMAP3_DM37XX_DEBUG_UART_BASE;
index 84272a2fa22b248ce632bf399d9f27e0ace3eb85..31c8d98051e4069a5eda105f0693e05348964c99 100644 (file)
@@ -19,7 +19,7 @@
 
 #ifndef __ASSEMBLY__
 
-void omap3_ser_init();
+void omap3_ser_init(void);
 void omap3_ser_putc(char c);
 
 #endif /* __ASSEMBLY__ */
index f37f7163f70169171a0a857c413f8f0dc96b8e9a..6226e9a197576a155260325caa27a4bd439ec897 100644 (file)
@@ -258,7 +258,7 @@ omap3_frclock_init(void)
 }
 
 void
-omap3_frclock_stop()
+omap3_frclock_stop(void)
 {
        mmio_clear(fr_timer->base + fr_timer->regs->TCLR, OMAP3_TCLR_ST);
 }
@@ -328,7 +328,7 @@ bsp_timer_init(unsigned freq)
 }
 
 void
-bsp_timer_stop()
+bsp_timer_stop(void)
 {
        mmio_clear(timer->base + timer->regs->TCLR, OMAP3_TCLR_ST);
 }
@@ -369,7 +369,7 @@ frc_overflow_check(u32_t cur_frc)
 }
 
 void
-bsp_timer_int_handler()
+bsp_timer_int_handler(void)
 {
        /* Clear all interrupts */
        u32_t tisr, now;
index e426fdb4f8b79ffbc673e2c78ecf54f591b2d1eb..787e9f8851c7681ea6618b5b509852b4a22b2bbb 100644 (file)
@@ -13,4 +13,4 @@ void hw_intr_unmask(int irq){
 void hw_intr_ack(int irq){};
 void hw_intr_used(int irq){};
 void hw_intr_not_used(int irq){};
-void hw_intr_disable_all(){};
+void hw_intr_disable_all(void){};
index 2ec2ef16b703227437e13724318bbebe7ba1a6ea..f88bab3fde2c616e4489bf7db193c445f25d03f6 100644 (file)
@@ -115,7 +115,7 @@ int kern_phys_map_ptr( phys_bytes base_address, vir_bytes io_size,
                       int vm_flags, kern_phys_map * priv, 
                       vir_bytes ptr);
 
-void arch_ser_init();
+void arch_ser_init(void);
 
 /* functions defined in architecture-independent kernel source. */
 #include "kernel/proto.h"
index c5606dbe4d06ada8578dd868948c8d5e9e37a8e1..6839b9185f03da50c24483111310ccee86de25d1 100644 (file)
@@ -44,7 +44,7 @@ static inline void barrier(void)
 
 
 /* Read CLIDR, Cache Level ID Register */
-static inline u32_t read_clidr(){
+static inline u32_t read_clidr(void){
        u32_t clidr;
        asm volatile("mrc p15, 1, %[clidr], c0, c0 , 1 @ READ CLIDR\n\t"
                                : [clidr] "=r" (clidr));
@@ -53,7 +53,7 @@ static inline u32_t read_clidr(){
 
 
 /* Read CSSELR, Cache Size Selection Register */
-static inline u32_t read_csselr(){
+static inline u32_t read_csselr(void){
        u32_t csselr;
        asm volatile("mrc p15, 2, %[csselr], c0, c0 , 0 @ READ CSSELR\n\t"
                                : [csselr] "=r" (csselr));
@@ -67,7 +67,7 @@ static inline void write_csselr(u32_t csselr){
 }
 
 /* Read Cache Size ID Register */
-static inline u32_t read_ccsidr()
+static inline u32_t read_ccsidr(void)
 {
        u32_t ccsidr;
        asm volatile("mrc p15, 1, %[ccsidr], c0, c0, 0 @ Read CCSIDR\n\t"
@@ -76,7 +76,7 @@ static inline u32_t read_ccsidr()
 }
 
 /* Read TLBTR, TLB Type Register */
-static inline u32_t read_tlbtr()
+static inline u32_t read_tlbtr(void)
 {
        u32_t tlbtr;
        asm volatile("mrc p15, 0, %[tlbtr], c0, c0, 3 @ Read TLBTR\n\t"
@@ -152,10 +152,10 @@ static inline void dcache_maint(int type){
        isb();
 
 }
-static inline void dcache_clean(){
+static inline void dcache_clean(void){
        dcache_maint(1);
 }
-static inline void dcache_invalidate (){
+static inline void dcache_invalidate(void){
        dcache_maint(2);
 }
 
@@ -189,7 +189,7 @@ static inline void refresh_tlb(void)
 
 
 /* Read System Control Register */
-static inline u32_t read_sctlr()
+static inline u32_t read_sctlr(void)
 {
        u32_t ctl;
 
@@ -208,7 +208,7 @@ static inline void write_sctlr(u32_t ctl)
 }
 
 /* Read Translation Table Base Register 0 */
-static inline u32_t read_ttbr0()
+static inline u32_t read_ttbr0(void)
 {
        u32_t bar;
 
@@ -241,7 +241,7 @@ static inline void reload_ttbr0(void)
 }
 
 /* Read Translation Table Base Register 1 */
-static inline u32_t read_ttbr1()
+static inline u32_t read_ttbr1(void)
 {
        u32_t bar;
 
@@ -271,7 +271,7 @@ static inline void reload_ttbr1(void)
 }
 
 /* Read Translation Table Base Control Register */
-static inline u32_t read_ttbcr()
+static inline u32_t read_ttbcr(void)
 {
        u32_t bcr;
 
@@ -291,7 +291,7 @@ static inline void write_ttbcr(u32_t bcr)
 }
 
 /* Read Domain Access Control Register */
-static inline u32_t read_dacr()
+static inline u32_t read_dacr(void)
 {
        u32_t dacr;
 
@@ -311,7 +311,7 @@ static inline void write_dacr(u32_t dacr)
 }
 
 /* Read Data Fault Status Register */
-static inline u32_t read_dfsr()
+static inline u32_t read_dfsr(void)
 {
        u32_t fsr;
 
@@ -331,7 +331,7 @@ static inline void write_dfsr(u32_t fsr)
 }
 
 /* Read Instruction Fault Status Register */
-static inline u32_t read_ifsr()
+static inline u32_t read_ifsr(void)
 {
        u32_t fsr;
 
@@ -351,7 +351,7 @@ static inline void write_ifsr(u32_t fsr)
 }
 
 /* Read Data Fault Address Register */
-static inline u32_t read_dfar()
+static inline u32_t read_dfar(void)
 {
        u32_t far;
 
@@ -371,7 +371,7 @@ static inline void write_dfar(u32_t far)
 }
 
 /* Read Instruction Fault Address Register */
-static inline u32_t read_ifar()
+static inline u32_t read_ifar(void)
 {
        u32_t far;
 
@@ -391,7 +391,7 @@ static inline void write_ifar(u32_t far)
 }
 
 /* Read Vector Base Address Register */
-static inline u32_t read_vbar()
+static inline u32_t read_vbar(void)
 {
        u32_t vbar;
 
@@ -411,7 +411,7 @@ static inline void write_vbar(u32_t vbar)
 }
 
 /* Read the Main ID Register  */
-static inline u32_t read_midr()
+static inline u32_t read_midr(void)
 {
        u32_t id;
 
@@ -422,7 +422,7 @@ static inline u32_t read_midr()
 }
 
 /* Read Auxiliary Control Register */
-static inline u32_t read_actlr()
+static inline u32_t read_actlr(void)
 {
        u32_t ctl;
 
@@ -443,7 +443,7 @@ static inline void write_actlr(u32_t ctl)
 }
 
 /* Read Current Program Status Register */
-static inline u32_t read_cpsr()
+static inline u32_t read_cpsr(void)
 {
        u32_t status;
 
index 8f26e85cc1188f758b46309dfcbfc2e8159215cd..b076798e1c340b122925b0c3af305c760f6a4cd7 100644 (file)
@@ -10,6 +10,6 @@ void hw_intr_unmask(int irq);
 void hw_intr_ack(int irq);
 void hw_intr_used(int irq);
 void hw_intr_not_used(int irq);
-void hw_intr_disable_all();
+void hw_intr_disable_all(void);
 
 #endif /* __HW_INTR_ARM_H__ */
index 7f29af43b205c4ef4302ad1ff4235c2a59355b55..5f675cc0a07c945e5d2ede07e049daf7a0a66bdf 100644 (file)
@@ -252,11 +252,12 @@ static u32_t phys_get32(phys_bytes addr)
 /*===========================================================================*
  *                              umap_virtual                                 *
  *===========================================================================*/
-phys_bytes umap_virtual(rp, seg, vir_addr, bytes)
-register struct proc *rp;       /* pointer to proc table entry for process */
-int seg;                        /* T, D, or S segment */
-vir_bytes vir_addr;             /* virtual address in bytes within the seg */
-vir_bytes bytes;                /* # of bytes to be copied */
+phys_bytes umap_virtual(
+  register struct proc *rp,            /* pointer to proc table entry for process */
+  int seg,                             /* T, D, or S segment */
+  vir_bytes vir_addr,                  /* virtual address in bytes within the seg */
+  vir_bytes bytes                      /* # of bytes to be copied */
+)
 {
        phys_bytes phys = 0;
 
@@ -489,12 +490,13 @@ int vm_memset(struct proc* caller, endpoint_t who, phys_bytes ph, int c,
 /*===========================================================================*
  *                             virtual_copy_f                               *
  *===========================================================================*/
-int virtual_copy_f(caller, src_addr, dst_addr, bytes, vmcheck)
-struct proc * caller;
-struct vir_addr *src_addr;     /* source virtual address */
-struct vir_addr *dst_addr;     /* destination virtual address */
-vir_bytes bytes;               /* # of bytes to copy  */
-int vmcheck;                   /* if nonzero, can return VMSUSPEND */
+int virtual_copy_f(
+  struct proc * caller,
+  struct vir_addr *src_addr,           /* source virtual address */
+  struct vir_addr *dst_addr,           /* destination virtual address */
+  vir_bytes bytes,                     /* # of bytes to copy  */
+  int vmcheck                          /* if nonzero, can return VMSUSPEND */
+)
 {
 /* Copy bytes from virtual address src_addr to virtual address dst_addr. */
   struct vir_addr *vir_addr[2];        /* virtual source and destination address */
index e3e1b28f52f5d8b825e9fc2a7d1e96800aadc674..f787e77933fd283ebb2f64bab869ca87291ac730 100644 (file)
@@ -240,7 +240,7 @@ void vm_enable_paging(void)
        write_sctlr(sctlr);
 }
 
-phys_bytes pg_load()
+phys_bytes pg_load(void)
 {
        phys_bytes phpagedir = vir2phys(pagedir);
        write_ttbr0(phpagedir);
index b63b09ae30429dc8e1f325154999366b1ea9f2dc..14404b9928433ab350eab0cc2ef8e73aa2f1a6ec 100644 (file)
@@ -74,7 +74,7 @@ multiboot_module_t *bootmod(int pnr)
 
 int booting_cpu = 0;
 
-void prot_init()
+void prot_init(void)
 {
        /* tell the HW where we stored our vector table */
        write_vbar((reg_t)&exc_vector_table);
index c6f36ec46ba28e37ea3fefe8941ddbcca70053b5..41083487d67276dbbece8861550c4ea00d88cb60 100644 (file)
@@ -36,9 +36,10 @@ static void setcr3(struct proc *p, u32_t cr3, u32_t *v)
 /*===========================================================================*
  *                             arch_do_vmctl                                *
  *===========================================================================*/
-int arch_do_vmctl(m_ptr, p)
-register message *m_ptr;       /* pointer to request message */
-struct proc *p;
+int arch_do_vmctl(
+  register message *m_ptr,     /* pointer to request message */
+  struct proc *p
+)
 {
   switch(m_ptr->SVMCTL_PARAM) {
        case VMCTL_GET_PDBR:
index 194dd1daeb763d73b791fa98148e4eebdca2fb6e..a3bd73daa7c5a8a0166a6e3fef5432cd2f07136d 100644 (file)
@@ -286,7 +286,7 @@ void arch_init(void)
 /*===========================================================================*
  *                             do_ser_debug                                 * 
  *===========================================================================*/
-void do_ser_debug()
+void do_ser_debug(void)
 {
        u8_t c, lsr;
 
@@ -421,7 +421,7 @@ static void ser_debug(const int c)
 
 #if DEBUG_SERIAL
 
-static void ser_dump_vfs()
+static void ser_dump_vfs(void)
 {
        /* Notify VFS it has to generate stack traces. Kernel can't do that as
         * it's not aware of user space threads.
index eac6c34abbf0b25fd198904330fe2b294a90bd1a..b81f5939c10cf512c7dab4b09a0817b3010d54f8 100644 (file)
@@ -280,11 +280,12 @@ static char *cr4_str(u32_t e)
 /*===========================================================================*
  *                              umap_virtual                                 *
  *===========================================================================*/
-phys_bytes umap_virtual(rp, seg, vir_addr, bytes)
-register struct proc *rp;       /* pointer to proc table entry for process */
-int seg;                        /* T, D, or S segment */
-vir_bytes vir_addr;             /* virtual address in bytes within the seg */
-vir_bytes bytes;                /* # of bytes to be copied */
+phys_bytes umap_virtual(
+  register struct proc *rp,            /* pointer to proc table entry for process */
+  int seg,                             /* T, D, or S segment */
+  vir_bytes vir_addr,                  /* virtual address in bytes within the seg */
+  vir_bytes bytes                      /* # of bytes to be copied */
+)
 {
        phys_bytes phys = 0;
 
@@ -589,12 +590,13 @@ int vm_memset(struct proc* caller, endpoint_t who, phys_bytes ph, int c,
 /*===========================================================================*
  *                             virtual_copy_f                               *
  *===========================================================================*/
-int virtual_copy_f(caller, src_addr, dst_addr, bytes, vmcheck)
-struct proc * caller;
-struct vir_addr *src_addr;     /* source virtual address */
-struct vir_addr *dst_addr;     /* destination virtual address */
-vir_bytes bytes;               /* # of bytes to copy  */
-int vmcheck;                   /* if nonzero, can return VMSUSPEND */
+int virtual_copy_f(
+  struct proc * caller,
+  struct vir_addr *src_addr,   /* source virtual address */
+  struct vir_addr *dst_addr,   /* destination virtual address */
+  vir_bytes bytes,             /* # of bytes to copy  */
+  int vmcheck                  /* if nonzero, can return VMSUSPEND */
+)
 {
 /* Copy bytes from virtual address src_addr to virtual address dst_addr. */
   struct vir_addr *vir_addr[2];        /* virtual source and destination address */
index 6a0f09ac2477d91300e98dd875f997578a4bacb2..8e4e0231be2070e32319ef35832b7f0841330f2a 100644 (file)
@@ -239,7 +239,7 @@ void vm_enable_paging(void)
         write_cr4(cr4);
 }
 
-phys_bytes pg_load()
+phys_bytes pg_load(void)
 {
        phys_bytes phpagedir = vir2phys(pagedir);
         write_cr3(phpagedir);
index e75022de12ba1a978e9c9d28d44901b148eddf63..1ac095b3d20d96da301a58f6dc27095d5b3e485c 100644 (file)
@@ -320,7 +320,7 @@ void prot_load_selectors(void)
 /*===========================================================================*
  *                             prot_init                                    *
  *===========================================================================*/
-void prot_init()
+void prot_init(void)
 {
   extern char k_boot_stktop;
 
index 00c3da83418e5df6fbbf729113ceeca579833bb2..f627ccb2974df3186598048ae30bc1022aea54e6 100644 (file)
@@ -227,10 +227,11 @@ time_t get_boottime(void)
 /*===========================================================================*
  *                             set_kernel_timer                             *
  *===========================================================================*/
-void set_kernel_timer(tp, exp_time, watchdog)
-minix_timer_t *tp;             /* pointer to timer structure */
-clock_t exp_time;              /* expiration monotonic time */
-tmr_func_t watchdog;           /* watchdog to be called */
+void set_kernel_timer(
+  minix_timer_t *tp,                   /* pointer to timer structure */
+  clock_t exp_time,                    /* expiration monotonic time */
+  tmr_func_t watchdog                  /* watchdog to be called */
+)
 {
 /* Insert the new timer in the active timers list. Always update the 
  * next timeout time by setting it to the front of the active list.
@@ -242,8 +243,9 @@ tmr_func_t watchdog;                /* watchdog to be called */
 /*===========================================================================*
  *                             reset_kernel_timer                           *
  *===========================================================================*/
-void reset_kernel_timer(tp)
-minix_timer_t *tp;             /* pointer to timer structure */
+void reset_kernel_timer(
+  minix_timer_t *tp                    /* pointer to timer structure */
+)
 {
 /* The timer pointed to by 'tp' is no longer needed. Remove it from both the
  * active and expired lists. Always update the next timeout time by setting
index a877fd6040f8d1333f223d909f541e2077899675..7a5dcc5167e705b8539e0179b74a81f3291ccbf0 100644 (file)
@@ -403,7 +403,7 @@ void minix_shutdown(minix_timer_t *tp)
 /*===========================================================================*
  *                             cstart                                       *
  *===========================================================================*/
-void cstart()
+void cstart(void)
 {
 /* Perform system initializations prior to calling main(). Most settings are
  * determined with help of the environment strings passed by MINIX' loader.
index 5ca6474ad25c36a31e47c3e1e3e5442498c80388..62ef6081c6eca825221b51e8ad5dd46e31dd113e 100644 (file)
@@ -703,10 +703,11 @@ int do_ipc(reg_t r1, reg_t r2, reg_t r3)
 /*===========================================================================*
  *                             deadlock                                     * 
  *===========================================================================*/
-static int deadlock(function, cp, src_dst_e) 
-int function;                                  /* trap number */
-register struct proc *cp;                      /* pointer to caller */
-endpoint_t src_dst_e;                          /* src or dst process */
+static int deadlock(
+  int function,                                /* trap number */
+  register struct proc *cp,            /* pointer to caller */
+  endpoint_t src_dst_e                 /* src or dst process */
+)
 {
 /* Check for deadlock. This can happen if 'caller_ptr' and 'src_dst' have
  * a cyclic dependency of blocking send and receive calls. The only cyclic 
@@ -1347,8 +1348,7 @@ static int mini_senda(struct proc *caller_ptr, asynmsg_t *table, size_t size)
 /*===========================================================================*
  *                             try_async                                    * 
  *===========================================================================*/
-static int try_async(caller_ptr)
-struct proc *caller_ptr;
+static int try_async(struct proc * caller_ptr)
 {
   int r;
   struct priv *privp;
@@ -1831,15 +1831,11 @@ struct proc *endpoint_lookup(endpoint_t e)
  *                             isokendpt_f                                  *
  *===========================================================================*/
 #if DEBUG_ENABLE_IPC_WARNINGS
-int isokendpt_f(file, line, e, p, fatalflag)
-const char *file;
-int line;
+int isokendpt_f(const char * file, int line, endpoint_t e, int * p,
+       const int fatalflag)
 #else
-int isokendpt_f(e, p, fatalflag)
+int isokendpt_f(endpoint_t e, int * p, const int fatalflag)
 #endif
-endpoint_t e;
-int *p;
-const int fatalflag;
 {
        int ok = 0;
        /* Convert an endpoint number into a process number.
@@ -1974,7 +1970,7 @@ void release_fpu(struct proc * p) {
                *fpu_owner_ptr = NULL;
 }
 
-void ser_dump_proc()
+void ser_dump_proc(void)
 {
         struct proc *pp;
 
index ecac1ed22eab15b76f00d87e81c3ea3108c71d90..cbb71df065563f4a39c068040830bbd586b3b452 100644 (file)
@@ -44,7 +44,7 @@ void init_profile_clock(u32_t freq)
 /*===========================================================================*
  *                     profile_clock_stop                                   *
  *===========================================================================*/
-void stop_profile_clock()
+void stop_profile_clock(void)
 {
   arch_stop_profile_clock();
 
index 219790ed66cba3175b8993200b3ae074e26c27c4..209fae7f96a7440d14352cb671d4c8f074de721d 100644 (file)
@@ -89,7 +89,7 @@ int try_deliver_senda(struct proc *caller_ptr, asynmsg_t *table, size_t
        size);
 
 /* start.c */
-void cstart();
+void cstart(void);
 char *env_get(const char *key);
 
 /* system.c */
@@ -169,8 +169,8 @@ void stop_profile_clock(void);
 #endif
 
 /* functions defined in architecture-dependent files. */
-void prot_init();
-void arch_post_init();
+void prot_init(void);
+void arch_post_init(void);
 void arch_set_secondary_ipc_return(struct proc *, u32_t val);
 phys_bytes phys_copy(phys_bytes source, phys_bytes dest, phys_bytes
        count);
index a6bc979d163171ebae03fd303f2a839d10a0076e..dc6a2812d591bb1c4a2cd951f15023f8eab697f4 100644 (file)
@@ -272,9 +272,10 @@ void system_init(void)
 /*===========================================================================*
  *                             get_priv                                     *
  *===========================================================================*/
-int get_priv(rc, priv_id)
-register struct proc *rc;              /* new (child) process pointer */
-int priv_id;                           /* privilege id */
+int get_priv(
+  register struct proc *rc,            /* new (child) process pointer */
+  int priv_id                          /* privilege id */
+)
 {
 /* Allocate a new privilege structure for a system process. Privilege ids
  * can be assigned either statically or dynamically.
@@ -386,11 +387,10 @@ int send_sig(endpoint_t ep, int sig_nr)
 /*===========================================================================*
  *                             cause_sig                                    *
  *===========================================================================*/
-void cause_sig(proc_nr, sig_nr)
-proc_nr_t proc_nr;             /* process to be signalled */
-int sig_nr;                    /* signal to be sent */
+void cause_sig(proc_nr_t proc_nr, int sig_nr)
 {
-/* A system process wants to send a signal to a process.  Examples are:
+/* A system process wants to send signal 'sig_nr' to process 'proc_nr'.
+ * Examples are:
  *  - HARDWARE wanting to cause a SIGSEGV after a CPU exception
  *  - TTY wanting to cause SIGINT upon getting a DEL
  *  - FS wanting to cause SIGPIPE for a broken pipe 
@@ -538,9 +538,9 @@ static void clear_ipc(
 /*===========================================================================*
  *                              clear_endpoint                              *
  *===========================================================================*/
-void clear_endpoint(rc)
-register struct proc *rc;              /* slot of process to clean up */
+void clear_endpoint(struct proc * rc)
 {
+/* Clean up the slot of the process given as 'rc'. */
   if(isemptyp(rc)) panic("clear_proc: empty process: %d",  rc->p_endpoint);
 
 
@@ -575,9 +575,10 @@ register struct proc *rc;          /* slot of process to clean up */
 /*===========================================================================*
  *                            clear_ipc_refs                                *
  *===========================================================================*/
-void clear_ipc_refs(rc, caller_ret)
-register struct proc *rc;              /* slot of process to clean up */
-int caller_ret;                                /* code to return on callers */
+void clear_ipc_refs(
+  register struct proc *rc,            /* slot of process to clean up */
+  int caller_ret                       /* code to return on callers */
+)
 {
 /* Clear IPC references for a given process slot. */
   struct proc *rp;                     /* iterate over process table */
index 2c330b6955b71362d6936196b4d1960b0b7a99a0..584b753df738b3fe6338d7f61dc3a19b1fa8771a 100644 (file)
@@ -141,8 +141,7 @@ int do_irqctl(struct proc * caller, message * m_ptr)
 /*===========================================================================*
  *                            generic_handler                               *
  *===========================================================================*/
-static int generic_handler(hook)
-irq_hook_t *hook;      
+static int generic_handler(irq_hook_t * hook)
 {
 /* This function handles hardware interrupt in a simple and generic way. All
  * interrupts are transformed into messages to a driver. The IRQ line will be
index ce3ef9630d41efa258cee7ea11296a7d23c32e4d..626fb85fa9b939475e8d483d72e06b7ffd33fe21 100644 (file)
@@ -32,16 +32,17 @@ static int safecopy(struct proc *, endpoint_t, endpoint_t,
 /*===========================================================================*
  *                             verify_grant                                 *
  *===========================================================================*/
-int verify_grant(granter, grantee, grant, bytes, access,
-       offset_in, offset_result, e_granter, flags)
-endpoint_t granter, grantee;   /* copyee, copyer */
-cp_grant_id_t grant;           /* grant id */
-vir_bytes bytes;               /* copy size */
-int access;                    /* direction (read/write) */
-vir_bytes offset_in;           /* copy offset within grant */
-vir_bytes *offset_result;      /* copy offset within virtual address space */
-endpoint_t *e_granter;         /* new granter (magic grants) */
-u32_t *flags;                  /* CPF_* */
+int verify_grant(
+  endpoint_t granter,          /* copyee */
+  endpoint_t grantee,          /* copyer */
+  cp_grant_id_t grant,         /* grant id */
+  vir_bytes bytes,             /* copy size */
+  int access,                  /* direction (read/write) */
+  vir_bytes offset_in,         /* copy offset within grant */
+  vir_bytes *offset_result,    /* copy offset within virtual address space */
+  endpoint_t *e_granter,       /* new granter (magic grants) */
+  u32_t *flags                 /* CPF_* */
+)
 {
        static cp_grant_t g;
        static int proc_nr;
@@ -246,16 +247,18 @@ u32_t *flags;                     /* CPF_* */
 /*===========================================================================*
  *                             safecopy                                     *
  *===========================================================================*/
-static int safecopy(caller, granter, grantee, grantid, bytes,
-       g_offset, addr, access)
-struct proc * caller;
-endpoint_t granter, grantee;
-cp_grant_id_t grantid;
-size_t bytes;
-vir_bytes g_offset, addr;
-int access;                    /* CPF_READ for a copy from granter to grantee, CPF_WRITE
+static int safecopy(
+  struct proc * caller,
+  endpoint_t granter,
+  endpoint_t grantee,
+  cp_grant_id_t grantid,
+  size_t bytes,
+  vir_bytes g_offset,
+  vir_bytes addr,
+  int access                   /* CPF_READ for a copy from granter to grantee, CPF_WRITE
                                 * for a copy from grantee to granter.
                                 */
+)
 {
        static struct vir_addr v_src, v_dst;
        static vir_bytes v_offset;
index 47ec2b1390dc039879008e281c24986b7ed351ec..31881373f94816d9bfa10c7e151660f825c83dcd 100644 (file)
@@ -78,8 +78,7 @@ int do_vtimer(struct proc * caller, message * m_ptr)
 /*===========================================================================*
  *                             vtimer_check                                 *
  *===========================================================================*/
-void vtimer_check(rp)
-struct proc *rp;                       /* pointer to the process */
+void vtimer_check(struct proc * rp)
 {
   /* This is called from the clock task, so we can be interrupted by the clock
    * interrupt, but not by the system task. Therefore we only have to protect
index d5fdbdb02998cafd97de0d73e3fa7025579b2b92..9417e0c77ccdd00f0687dcc6732fed4d650f51f4 100644 (file)
@@ -51,8 +51,9 @@ void panic(const char *fmt, ...)
 /*===========================================================================*
  *                             kputc                                        *
  *===========================================================================*/
-void kputc(c)
-int c;                                 /* character to append */
+void kputc(
+  int c                                        /* character to append */
+)
 {
 /* Accumulate a single character for a kernel message. Send a notification
  * to the output drivers if an END_OF_KMESS is encountered.
@@ -83,8 +84,9 @@ int c;                                        /* character to append */
 /*===========================================================================*
  *                             _exit                                        *
  *===========================================================================*/
-void _exit(e)
-int e;                                 /* error code */
+void _exit(
+  int e                                        /* error code */
+)
 {
   panic("_exit called from within the kernel, should not happen. (err %i)", e);
 }