arch.h

Go to the documentation of this file.

/*
 * Copyright (c) 2010-2014 Wind River Systems, Inc.
 * Copyright (c) 2017 Oticon A/S
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef ZEPHYR_INCLUDE_ARCH_POSIX_ARCH_H_
#define ZEPHYR_INCLUDE_ARCH_POSIX_ARCH_H_
 
/* Add include for DTS generated information */
#include <zephyr/devicetree.h>
 
#include <zephyr/toolchain.h>
#include <zephyr/irq.h>
#include <zephyr/arch/posix/exception.h>
#include <zephyr/arch/posix/asm_inline.h>
#include <zephyr/arch/posix/thread.h>
#include <board_irq.h> /* Each board must define this */
#include <zephyr/sw_isr_table.h>
#include <zephyr/arch/posix/posix_soc_if.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
#ifdef CONFIG_64BIT
#define ARCH_STACK_PTR_ALIGN 8
#else
#define ARCH_STACK_PTR_ALIGN 4
#endif
 
extern uint32_t sys_clock_cycle_get_32(void);
 
static inline uint32_t arch_k_cycle_get_32(void)
{
        return sys_clock_cycle_get_32();
}
 
extern uint64_t sys_clock_cycle_get_64(void);
 
static inline uint64_t arch_k_cycle_get_64(void)
{
        return sys_clock_cycle_get_64();
}
 
static ALWAYS_INLINE void arch_nop(void)
{
        __asm__ volatile("nop");
}
 
static ALWAYS_INLINE bool arch_irq_unlocked(unsigned int key)
{
        return key == false;
}
 
static ALWAYS_INLINE unsigned int arch_irq_lock(void)
{
        return posix_irq_lock();
}
 
 
static ALWAYS_INLINE void arch_irq_unlock(unsigned int key)
{
        posix_irq_unlock(key);
}
 
#ifdef __cplusplus
}
#endif
 
#endif /* ZEPHYR_INCLUDE_ARCH_POSIX_ARCH_H_ */