Changeset 1433ecda in mainline for kernel/genarch/src


Ignore:
Timestamp:
2018-04-04T15:42:37Z (7 years ago)
Author:
Jiri Svoboda <jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
2c4e1cc
Parents:
47b2d7e3
Message:

Fix cstyle: make ccheck-fix and commit only files where all the changes are good.

Location:
kernel/genarch/src
Files:
5 edited

Legend:

Unmodified
Added
Removed

  • kernel/genarch/src/drivers/bcm2835/mbox.c

    r47b2d7e3 r1433ecda  
    4040static void mbox_write(bcm2835_mbox_t *mbox, uint8_t chan, uint32_t value)
    4141{
    42         while (mbox->status & MBOX_STATUS_FULL) ;
     42        while (mbox->status & MBOX_STATUS_FULL)
     43                ;
    4344        mbox->write = MBOX_COMPOSE(chan, value);
    4445}
    … …  
    4950
    5051        do {
    51                 while (mbox->status & MBOX_STATUS_EMPTY) ;
     52                while (mbox->status & MBOX_STATUS_EMPTY)
     53                        ;
    5254                msg = mbox->read;
    5355        } while (MBOX_MSG_CHAN(msg) != chan);
    … …  
    6971
    7072        mbox_write((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
    71                    MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)req));
     73            MBOX_CHAN_PROP_A2V, KA2VCA((uint32_t)req));
    7274        mbox_read((bcm2835_mbox_t *)BCM2835_MBOX0_ADDR,
    73                   MBOX_CHAN_PROP_A2V);
     75            MBOX_CHAN_PROP_A2V);
    7476
    7577        if (req->buf_hdr.code == MBOX_PROP_CODE_RESP_OK) {
    … …  
    8890        bcm2835_mbox_t *fb_mbox;
    8991        bool ret = false;
    90         MBOX_BUFF_ALLOC(fb_desc, bcm2835_fb_desc_t);
     92        MBOX_BUFF_ALLOC(fb_desc, bcm2835_fb_desc_t);
    9193
    9294        fb_mbox = (void *) km_map(BCM2835_MBOX0_ADDR, sizeof(bcm2835_mbox_t),
    93                                   PAGE_NOT_CACHEABLE);
     95            PAGE_NOT_CACHEABLE);
    9496
    9597        fb_desc->width = 640;
    … …  
    119121
    120122        printf("BCM2835 framebuffer at 0x%08x (%dx%d)\n", prop->addr,
    121                prop->x, prop->y);
     123            prop->x, prop->y);
    122124        ret = true;
    123125out:

  • kernel/genarch/src/drivers/omap/uart.c

    r47b2d7e3 r1433ecda  
    4343{
    4444        /* Wait for buffer */
    45         while (uart->regs->ssr & OMAP_UART_SSR_TX_FIFO_FULL_FLAG);
     45        while (uart->regs->ssr & OMAP_UART_SSR_TX_FIFO_FULL_FLAG)
     46                ;
    4647        /* Write to the outgoing fifo */
    4748        uart->regs->thr = b;
    … …  
    9394        /* Soft reset the port */
    9495        uart->regs->sysc = OMAP_UART_SYSC_SOFTRESET_FLAG;
    95         while (!(uart->regs->syss & OMAP_UART_SYSS_RESETDONE_FLAG));
     96        while (!(uart->regs->syss & OMAP_UART_SYSS_RESETDONE_FLAG))
     97                ;
    9698
    9799        /* Disable the UART module */

  • kernel/genarch/src/drivers/pl011/pl011.c

    r47b2d7e3 r1433ecda  
    5050        /* Wait for space becoming available in Tx FIFO. */
    5151        // TODO make pio_read accept consts pointers and remove the cast
    52         while ((pio_read_32((ioport32_t*)&uart->regs->flag) & PL011_UART_FLAG_TXFF_FLAG) != 0)
     52        while ((pio_read_32((ioport32_t *)&uart->regs->flag) & PL011_UART_FLAG_TXFF_FLAG) != 0)
    5353                ;
    5454
    … …  
    8686
    8787        // TODO make pio_read accept const pointers and remove the cast
    88         while ((pio_read_32((ioport32_t*)&uart->regs->flag) & PL011_UART_FLAG_RXFE_FLAG) == 0) {
     88        while ((pio_read_32((ioport32_t *)&uart->regs->flag) & PL011_UART_FLAG_RXFE_FLAG) == 0) {
    8989                /* We ignore all error flags here */
    9090                const uint8_t data = pio_read_32(&uart->regs->data);
    … …  
    9999{
    100100        assert(uart);
    101         uart->regs = (void*)km_map(addr, sizeof(pl011_uart_regs_t),
    102                                    PAGE_NOT_CACHEABLE);
     101        uart->regs = (void *)km_map(addr, sizeof(pl011_uart_regs_t),
     102            PAGE_NOT_CACHEABLE);
    103103        assert(uart->regs);
    104104
    105105        /* Disable UART */
    106         uart->regs->control &= ~ PL011_UART_CONTROL_UARTEN_FLAG;
     106        uart->regs->control &= ~PL011_UART_CONTROL_UARTEN_FLAG;
    107107
    108108        /* Enable hw flow control */
    109109        uart->regs->control |=
    110                 PL011_UART_CONTROL_RTSE_FLAG |
    111                 PL011_UART_CONTROL_CTSE_FLAG;
     110            PL011_UART_CONTROL_RTSE_FLAG |
     111            PL011_UART_CONTROL_CTSE_FLAG;
    112112
    113113        /* Mask all interrupts */
    … …  
    117117        /* Enable UART, TX and RX */
    118118        uart->regs->control |=
    119                 PL011_UART_CONTROL_UARTEN_FLAG |
    120                 PL011_UART_CONTROL_TXE_FLAG |
    121                 PL011_UART_CONTROL_RXE_FLAG;
     119            PL011_UART_CONTROL_UARTEN_FLAG |
     120            PL011_UART_CONTROL_TXE_FLAG |
     121            PL011_UART_CONTROL_RXE_FLAG;
    122122
    123123        outdev_initialize("pl011_uart_dev", &uart->outdev, &pl011_uart_ops);
    … …  
    143143        /* Enable receive interrupts */
    144144        uart->regs->interrupt_mask |=
    145                 PL011_UART_INTERRUPT_RX_FLAG |
    146                 PL011_UART_INTERRUPT_RT_FLAG;
     145            PL011_UART_INTERRUPT_RX_FLAG |
     146            PL011_UART_INTERRUPT_RT_FLAG;
    147147}
    148148

  • kernel/genarch/src/mm/page_ht.c

    r47b2d7e3 r1433ecda  
    222222}
    223223
    224 static pte_t *
    225 ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
     224static pte_t *ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
    226225{
    227226        uintptr_t key[2] = {

  • kernel/genarch/src/softint/multiplication.c

    r47b2d7e3 r1433ecda  
    5454 * @result
    5555 */
    56 static unsigned long long mul(unsigned int a, unsigned int b) {
     56static unsigned long long mul(unsigned int a, unsigned int b)
     57{
    5758        unsigned int a1, a2, b1, b2;
    5859        unsigned long long t1, t2, t3;
    … …  
    6465
    6566        t1 = a1 * b1;
    66         t2 = a1*b2;
    67         t2 += a2*b1;
    68         t3 = a2*b2;
     67        t2 = a1 * b2;
     68        t2 += a2 * b1;
     69        t3 = a2 * b2;
    6970
    7071        t3 = (((t1 << 16) + t2) << 16) + t3;
    … …  
    7980{
    8081        long long result;
    81         unsigned long long t1,t2;
     82        unsigned long long t1, t2;
    8283        unsigned long long a1, a2, b1, b2;
    8384        char neg = 0;
    … …  
    101102        if (SOFTINT_CHECK_OF && (a1 != 0) && (b1 != 0)) {
    102103                // error, overflow
    103                 return (neg?MIN_INT64:MAX_INT64);
     104                return (neg ? MIN_INT64 : MAX_INT64);
    104105        }
    105106
    106107        // (if OF checked) a1 or b1 is zero => result fits in 64 bits, no need to another overflow check
    107         t1 = mul(a1,b2) + mul(b1,a2);
     108        t1 = mul(a1, b2) + mul(b1, a2);
    108109
    109110        if (SOFTINT_CHECK_OF && t1 > MAX_UINT32) {
    110111                // error, overflow
    111                 return (neg?MIN_INT64:MAX_INT64);
     112                return (neg ? MIN_INT64 : MAX_INT64);
    112113        }
    113114
    114115        t1 = t1 << 32;
    115         t2 = mul(a2,b2);
     116        t2 = mul(a2, b2);
    116117        t2 += t1;
    117118
    … …  
    120121        if (SOFTINT_CHECK_OF && ((t2 < t1) || (t2 & (1ull << 63)))) {
    121122                // error, overflow
    122                 return (neg?MIN_INT64:MAX_INT64);
     123                return (neg ? MIN_INT64 : MAX_INT64);
    123124        }
    124125
Note: See TracChangeset for help on using the changeset viewer.