michaelh/zephyr
1
0
Fork 0
Code Releases Activity

kernel: add architecture interface headers

Browse source 
include/sys/arch_inlines.h will contain all architecture APIs
that are used by public inline functions and macros,
with implementations deriving from include/arch/cpu.h.

kernel/include/arch_interface.h will contain everything
else, with implementations deriving from
arch/*/include/kernel_arch_func.h.

Instances of duplicate documentation for these APIs have been
removed; implementation details have been left in place.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2019-10-03 10:08:13 -07:00 • committed by Anas Nashif
commit 8ffff144ea
37 changed files with 925 additions and 960 deletions
Download patch file Download diff file Expand all files Collapse all files

23
arch/x86/include/ia32/kernel_arch_func.h
View file

@ -31,34 +31,11 @@ void z_x86_early_serial_init(void);
/* Create all page tables with boot configuration and enable paging */
void z_x86_paging_init(void);
/**
*
* @brief Performs architecture-specific initialization
*
* This routine performs architecture-specific initialization of the kernel.
* Trivial stuff is done inline; more complex initialization is done via
* function calls.
*
* @return N/A
*/
static inline void z_arch_kernel_init(void)
{
/* No-op on this arch */
}
/**
*
* @brief Set the return value for the specified thread (inline)
*
* @param thread pointer to thread
* @param value value to set as return value
*
* The register used to store the return value from a function call invocation
* is set to @a value. It is assumed that the specified @a thread is pending, and
* thus the threads context is stored in its TCS.
*
* @return N/A
*/
static ALWAYS_INLINE void
z_arch_thread_return_value_set(struct k_thread *thread, unsigned int value)
{