zephyr/kernel/microkernel
Benjamin Walsh a34afe9b61 events: remove checks for valid events in service handlers
Doing those checks went against the Zephyr philosophy of no error
checking unless absolutely necessary. Users should ensure themselves the
validity of their inputs to kernel APIs.

Change-Id: I21e5cd07ff9424ad61e81fd9d52ceef0c9584a8c
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
2016-02-05 20:15:21 -05:00
..
include microkernel: put memory map pointers into its own binary section 2016-02-05 20:15:18 -05:00
k_command_packet.c doxygen: add @brief and capitalize 2016-02-05 20:14:33 -05:00
k_event.c events: remove checks for valid events in service handlers 2016-02-05 20:15:21 -05:00
k_fifo.c microkernel: Rename struct que_struct to _k_fifo_struct 2016-02-05 20:15:18 -05:00
k_idle.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_init.c Microkernel timer uses new driver initialization 2016-02-05 20:14:37 -05:00
k_irq.c Remove PIC code, but not PIC disabling code 2016-02-05 20:15:20 -05:00
k_mailbox.c pipes/mailboxes: rename functions using mem blocks 2016-02-05 20:15:21 -05:00
k_memory_map.c microkernel: put memory map pointers into its own binary section 2016-02-05 20:15:18 -05:00
k_memory_pool.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_move_data.c doxygen: add @brief and capitalize 2016-02-05 20:14:33 -05:00
k_mutex.c microkernel: Rename struct mutex_struct to _k_mutex_struct 2016-02-05 20:14:46 -05:00
k_nop.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_offload.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_pipe_buffer.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe_get.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe_put.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe_util.c Revise 'channel' comments in microkernel's pipe code 2016-02-05 20:14:37 -05:00
k_pipe_xfer.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe.c pipes/mailboxes: rename functions using mem blocks 2016-02-05 20:15:21 -05:00
k_semaphore.c microkernel: Rename struct sem_struct to _k_sem_struct 2016-02-05 20:15:18 -05:00
k_server.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_task_monitor.c Rename microkernel's minik.h to micro_private.h 2016-02-05 20:14:26 -05:00
k_task.c microkernel: put _k_task_list into its own binary section 2016-02-05 20:15:18 -05:00
k_ticker.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_timer.c Redefine microkernel timer objects identifier type 2016-02-05 20:15:18 -05:00
Kconfig Remove obsolete kernel references to BSP 2016-02-05 20:14:39 -05:00
Makefile Rename microkernel's global.c to k_init.c 2016-02-05 20:14:25 -05:00