Changeset 63e27ef in mainline for kernel/genarch/src/drivers


Ignore:
Timestamp:
2017-06-19T21:47:42Z (8 years ago)
Author:
Jiri Svoboda <jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
deacc58d
Parents:
7354b5e
Message:

ASSERT → assert

Location:
kernel/genarch/src/drivers
Files:
9 edited

Legend:

Unmodified
Added
Removed
  • kernel/genarch/src/drivers/am335x/timer.c

    r7354b5e r63e27ef  
    3434 */
    3535
     36#include <assert.h>
    3637#include <genarch/drivers/am335x/timer.h>
    3738#include <mm/km.h>
     
    9091        size_t size;
    9192
    92         ASSERT(id < TIMERS_MAX);
    93         ASSERT(timer != NULL);
     93        assert(id < TIMERS_MAX);
     94        assert(timer != NULL);
    9495
    9596        if (id == DMTIMER1_1MS)
     
    100101
    101102        timer->regs = (void *) km_map(base_addr, size, PAGE_NOT_CACHEABLE);
    102         ASSERT(timer->regs != NULL);
     103        assert(timer->regs != NULL);
    103104
    104105        timer->id = id;
  • kernel/genarch/src/drivers/dsrln/dsrlnin.c

    r7354b5e r63e27ef  
    3535 */
    3636
     37#include <assert.h>
    3738#include <genarch/drivers/dsrln/dsrlnin.h>
    3839#include <console/chardev.h>
     
    7576void dsrlnin_wire(dsrlnin_instance_t *instance, indev_t *srlnin)
    7677{
    77         ASSERT(instance);
    78         ASSERT(srlnin);
     78        assert(instance);
     79        assert(srlnin);
    7980       
    8081        instance->srlnin = srlnin;
  • kernel/genarch/src/drivers/ega/ega.c

    r7354b5e r63e27ef  
    3535 */
    3636
     37#include <debug.h>
    3738#include <genarch/drivers/ega/ega.h>
    3839#include <putchar.h>
  • kernel/genarch/src/drivers/i8042/i8042.c

    r7354b5e r63e27ef  
    3838 */
    3939
     40#include <assert.h>
    4041#include <genarch/drivers/i8042/i8042.h>
    4142#include <genarch/drivers/legacy/ia32/io.h>
     
    124125void i8042_wire(i8042_instance_t *instance, indev_t *kbrdin)
    125126{
    126         ASSERT(instance);
    127         ASSERT(kbrdin);
     127        assert(instance);
     128        assert(kbrdin);
    128129       
    129130        i8042_clear_buffer(instance->i8042);
  • kernel/genarch/src/drivers/ns16550/ns16550.c

    r7354b5e r63e27ef  
    3535 */
    3636
     37#include <assert.h>
    3738#include <genarch/drivers/ns16550/ns16550.h>
    3839#include <ddi/irq.h>
     
    157158void ns16550_wire(ns16550_instance_t *instance, indev_t *input)
    158159{
    159         ASSERT(instance);
    160         ASSERT(input);
     160        assert(instance);
     161        assert(input);
    161162       
    162163        instance->input = input;
  • kernel/genarch/src/drivers/omap/uart.c

    r7354b5e r63e27ef  
    3535 */
    3636
     37#include <assert.h>
    3738#include <genarch/drivers/omap/uart.h>
    3839#include <ddi/device.h>
     
    8687    omap_uart_t *uart, inr_t interrupt, uintptr_t addr, size_t size)
    8788{
    88         ASSERT(uart);
     89        assert(uart);
    8990        uart->regs = (void *)km_map(addr, size, PAGE_NOT_CACHEABLE);
    9091
    91         ASSERT(uart->regs);
     92        assert(uart->regs);
    9293
    9394        /* Soft reset the port */
     
    171172void omap_uart_input_wire(omap_uart_t *uart, indev_t *indev)
    172173{
    173         ASSERT(uart);
     174        assert(uart);
    174175        /* Set indev */
    175176        uart->indev = indev;
  • kernel/genarch/src/drivers/pl011/pl011.c

    r7354b5e r63e27ef  
    3535 */
    3636
     37#include <assert.h>
    3738#include <genarch/drivers/pl011/pl011.h>
    3839#include <console/chardev.h>
     
    9899bool pl011_uart_init(pl011_uart_t *uart, inr_t interrupt, uintptr_t addr)
    99100{
    100         ASSERT(uart);
     101        assert(uart);
    101102        uart->regs = (void*)km_map(addr, sizeof(pl011_uart_regs_t),
    102103                                   PAGE_NOT_CACHEABLE);
    103         ASSERT(uart->regs);
     104        assert(uart->regs);
    104105
    105106        /* Disable UART */
     
    137138void pl011_uart_input_wire(pl011_uart_t *uart, indev_t *indev)
    138139{
    139         ASSERT(uart);
    140         ASSERT(indev);
     140        assert(uart);
     141        assert(indev);
    141142
    142143        uart->indev = indev;
  • kernel/genarch/src/drivers/s3c24xx/uart.c

    r7354b5e r63e27ef  
    3838 */
    3939
     40#include <assert.h>
    4041#include <genarch/drivers/s3c24xx/uart.h>
    4142#include <console/chardev.h>
     
    161162void s3c24xx_uart_input_wire(s3c24xx_uart_t *uart, indev_t *indev)
    162163{
    163         ASSERT(uart);
    164         ASSERT(indev);
     164        assert(uart);
     165        assert(indev);
    165166
    166167        uart->indev = indev;
  • kernel/genarch/src/drivers/via-cuda/cuda.c

    r7354b5e r63e27ef  
    3434 */
    3535
     36#include <assert.h>
    3637#include <genarch/drivers/via-cuda/cuda.h>
    3738#include <console/chardev.h>
     
    123124        cuda_t *dev = instance->cuda;
    124125
    125         ASSERT(instance);
    126         ASSERT(kbrdin);
     126        assert(instance);
     127        assert(kbrdin);
    127128
    128129        instance->kbrdin = kbrdin;
     
    341342        cuda_t *dev = instance->cuda;
    342343
    343         ASSERT(instance->xstate == cx_listen);
     344        assert(instance->xstate == cx_listen);
    344345
    345346        if (instance->snd_bytes == 0)
Note: See TracChangeset for help on using the changeset viewer.