arch.h File Reference

Hexagon public kernel interface. More...

#include <zephyr/devicetree.h>
#include <zephyr/arch/hexagon/thread.h>
#include <zephyr/arch/hexagon/exception.h>
#include <zephyr/arch/hexagon/error.h>
#include <zephyr/arch/common/sys_bitops.h>
#include <zephyr/arch/common/ffs.h>
#include <zephyr/arch/common/sys_io.h>
#include <zephyr/sys/util.h>
#include <zephyr/kernel/mm.h>
#include <hexagon_vm.h>
#include <irq.h>
#include <irq_connect.h>
#include <zephyr/sw_isr_table.h>

Go to the source code of this file.

Functions
static void	arch_kernel_init (void)
	Architecture-specific kernel initialization.
uint32_t	sys_clock_cycle_get_32 (void)
	Get the current system clock cycle count as a 32-bit value.
static uint32_t	arch_k_cycle_get_32 (void)
	Get the current cycle count (32-bit).
uint64_t	sys_clock_cycle_get_64 (void)
	Get the current system clock cycle count as a 64-bit value.
static uint64_t	arch_k_cycle_get_64 (void)
	Get the current cycle count (64-bit).
static void	arch_nop (void)
	Execute a no-op instruction.
static bool	arch_is_in_isr (void)
	Check if currently executing in interrupt context.

Detailed Description

Hexagon public kernel interface.

Function Documentation

arch_is_in_isr()

bool arch_is_in_isr ( void )

inlinestatic

Check if currently executing in interrupt context.

Return values

true	if in ISR context.
false	if in thread context.

arch_k_cycle_get_32()

uint32_t arch_k_cycle_get_32 ( void )

inlinestatic

Get the current cycle count (32-bit).

Returns

Current 32-bit hardware cycle count.

arch_k_cycle_get_64()

uint64_t arch_k_cycle_get_64 ( void )

inlinestatic

Get the current cycle count (64-bit).

Returns

Current 64-bit hardware cycle count.

arch_kernel_init()

void arch_kernel_init ( void )

inlinestatic

Architecture-specific kernel initialization.

No additional initialization needed for Hexagon.

arch_nop()

void arch_nop ( void )

inlinestatic

Execute a no-op instruction.

sys_clock_cycle_get_32()

uint32_t sys_clock_cycle_get_32 ( void )

extern

Get the current system clock cycle count as a 32-bit value.

Returns

Current 32-bit cycle count.

sys_clock_cycle_get_64()

uint64_t sys_clock_cycle_get_64 ( void )

extern

Get the current system clock cycle count as a 64-bit value.

Returns

Current 64-bit cycle count.