Lines Matching +full:message +full:- +full:objects

4  * SPDX-License-Identifier: Apache-2.0
9 #include <zephyr/sys/libc-hooks.h>
35 /* Message queue for IPC between the driver callback and the monitor thread.
37  * This message queue is being statically initialized, no need to call
55 /* ISR-level callback function. Runs in supervisor mode. Does what's needed
68 	 * message queue. This will wake up the monitor thread for further  in sample_callback()
71 	 * We use a message queue because it will perform a data copy for us  in sample_callback()
91 	 * data out of the message queue for further writeback.  in monitor_entry()
172 		pending_count--;  in writeback_entry()
176 	/* Fairly meaningless example to show an application-defined system  in writeback_entry()
217 	/* Assign a resource pool to serve for kernel-side allocations on  in app_a_entry()
240 			-1, K_USER, K_FOREVER);  in app_a_entry()
246 	 * Grant ourselves access to the kernel objects we need for  in app_a_entry()
249 	 * Monitor thread needs access to the message queue shared with the  in app_a_entry()
256 	/* We now do a one-way transition to user mode, and will end up  in app_a_entry()
258 	 * starts in user mode, but this lets us re-use the current one.  in app_a_entry()