bartoszek/zephyr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
401c4da142
zephyr/kernel/microkernel
History
Benjamin Walsh 15d3ca1de6 events: add __ASSERT()s in APIs to validate event IDs 
Event ID are not validated anymore against the maximum event number in
the system, since they are pointers now instead of low integers.
Validation can be useful, but only do it in a debug kernel, with no
penalty to a deployment system.

Change-Id: Ifd8dc8841892f6d19bbcb0c641a655fd0cb6ddb7
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
2016-02-05 20:24:48 -05:00
..
include kernel: Specify alignment of microkernel server command stack items 2016-02-05 20:24:42 -05:00
k_command_packet.c kernel: Eliminate the need for command packet sets 2016-02-05 20:24:42 -05:00
k_event.c events: add __ASSERT()s in APIs to validate event IDs 2016-02-05 20:24:48 -05:00
k_fifo.c checkpatch: warning - suspect_code_indent 2016-02-05 20:24:33 -05:00
k_idle.c x86: remove NANOKERNEL guard around nano_cpu_idle() 2016-02-05 20:24:43 -05:00
k_init.c checkpatch: warning - long_line 2016-02-05 20:24:33 -05:00
k_irq.c irq: Add flags to IRQ_CONNECT_STATIC() macro and irq_connect() function 2016-02-05 20:24:44 -05:00
k_mailbox.c checkpatch: warning - unnecssary_else 2016-02-05 20:24:35 -05:00
k_memory_map.c doc: Update descriptions for memory map APIs 2016-02-05 20:24:48 -05:00
k_memory_pool.c checkpatch: warning - long_line 2016-02-05 20:24:33 -05:00
k_move_data.c checkpatch: warning - block_comment_style 2016-02-05 20:24:33 -05:00
k_mutex.c checkpatch: warning - block_comment_style 2016-02-05 20:24:33 -05:00
k_nop.c checkpatch: warning - block_comment_style 2016-02-05 20:24:33 -05:00
k_offload.c Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
k_pipe_buffer.c checkpatch: warning - unnecssary_else 2016-02-05 20:24:35 -05:00
k_pipe_get.c checkpatch: warning - unnecssary_else 2016-02-05 20:24:35 -05:00
k_pipe_put.c checkpatch: warning - unnecssary_else 2016-02-05 20:24:35 -05:00
k_pipe_util.c checkpatch: warning - line_spacing 2016-02-05 20:24:33 -05:00
k_pipe_xfer.c checkpatch: warning - unnecssary_else 2016-02-05 20:24:35 -05:00
k_pipe.c checkpatch: warning - block_comment_style 2016-02-05 20:24:33 -05:00
k_semaphore.c kernel: Eliminate the need for command packet sets 2016-02-05 20:24:42 -05:00
k_server.c kernel: Eliminate the need for command packet sets 2016-02-05 20:24:42 -05:00
k_task_monitor.c kernel: Revise microkernel server's recognition of command types 2016-02-05 20:24:41 -05:00
k_task.c checkpatch: warning - long_line 2016-02-05 20:24:33 -05:00
k_ticker.c checkpatch: error - global_initialisers 2016-02-05 20:24:33 -05:00
k_timer.c checkpatch: error - global_initialisers 2016-02-05 20:24:33 -05:00
Kconfig Change BSD-3 licenses to Apache 2 2016-02-05 20:24:29 -05:00
Makefile Rename microkernel's global.c to k_init.c 2016-02-05 20:14:25 -05:00