kernel: activate arch interface headers

Duplicate definitions elsewhere have been removed.

A couple functions which are defined by the arch interface
to be non-inline, but were implemented inline by native_posix
and intel64, have been moved to non-inline.

Some missing conditional compilation for z_arch_irq_offload()
has been fixed, as this is an optional feature.

Some massaging of native_posix headers to get everything
in the right scope.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2019-10-03 15:20:41 -07:00 committed by Andrew Boie
commit 979b17f243
16 changed files with 54 additions and 165 deletions

View file

@ -1814,7 +1814,10 @@ static inline u32_t k_uptime_delta_32(s64_t *reftime)
*
* @return Current hardware clock up-counter (in cycles).
*/
#define k_cycle_get_32() z_arch_k_cycle_get_32()
static inline u32_t k_cycle_get_32(void)
{
return z_arch_k_cycle_get_32();
}
/**
* @}
@ -4747,10 +4750,6 @@ extern void z_handle_obj_poll_events(sys_dlist_t *events, u32_t state);
* @ingroup kernel_apis
* @{
*/
extern void z_arch_cpu_idle(void);
extern void z_arch_cpu_atomic_idle(unsigned int key);
/**
* @brief Make the CPU idle.
*
@ -5162,10 +5161,6 @@ extern void k_mem_domain_remove_thread(k_tid_t thread);
*/
__syscall void k_str_out(char *c, size_t n);
extern void z_arch_start_cpu(int cpu_num, k_thread_stack_t *stack, int sz,
void (*fn)(int key, void *data), void *arg);
/**
* @brief Disable preservation of floating point context information.
*