#ifndef _ARM_MISC_PROTOS_H_
#define _ARM_MISC_PROTOS_H_
#include <kern/kern_types.h>
typedef struct boot_args boot_args;
extern vm_offset_t end_kern;
extern vm_offset_t segLOWEST;
extern void machine_startup(__unused boot_args *args) __attribute__((noinline));
extern void arm_auxkc_init(void *mh, void *base);
extern void arm_vm_init(uint64_t memory_size, boot_args *args);
extern void arm_vm_prot_init(boot_args *args);
extern void arm_vm_prot_finalize(boot_args *args);
extern kern_return_t DebuggerXCallEnter(boolean_t);
extern void DebuggerXCallReturn(void);
#if __arm64__ && DEBUG
extern void dump_kva_space(void);
#endif
extern void Load_context(thread_t);
extern void Idle_load_context(void) __attribute__((noreturn));
extern thread_t Switch_context(thread_t, thread_continue_t, thread_t);
extern thread_t Shutdown_context(void (*doshutdown)(processor_t), processor_t processor);
extern void __dead2 Call_continuation(thread_continue_t, void *, wait_result_t, boolean_t enable_interrupts);
#if __ARM_ARCH_8_5__
extern void arm_context_switch_requires_sync(void);
#else
static inline void
arm_context_switch_requires_sync(void)
{
}
#endif
#if __has_feature(ptrauth_calls)
extern boolean_t arm_user_jop_disabled(void);
#endif
extern void DebuggerCall(unsigned int reason, void *ctx);
extern void DebuggerXCall(void *ctx);
extern int copyout_kern(const char *kernel_addr, user_addr_t user_addr, vm_size_t nbytes);
extern int copyin_kern(const user_addr_t user_addr, char *kernel_addr, vm_size_t nbytes);
extern void bcopy_phys(addr64_t from, addr64_t to, vm_size_t nbytes);
extern void dcache_incoherent_io_flush64(addr64_t pa, unsigned int count, unsigned int remaining, unsigned int *res);
extern void dcache_incoherent_io_store64(addr64_t pa, unsigned int count, unsigned int remaining, unsigned int *res);
#if defined(__arm__)
extern void copy_debug_state(arm_debug_state_t * src, arm_debug_state_t *target, __unused boolean_t all);
#elif defined(__arm64__)
extern void copy_legacy_debug_state(arm_legacy_debug_state_t * src, arm_legacy_debug_state_t *target, __unused boolean_t all);
extern void copy_debug_state32(arm_debug_state32_t * src, arm_debug_state32_t *target, __unused boolean_t all);
extern void copy_debug_state64(arm_debug_state64_t * src, arm_debug_state64_t *target, __unused boolean_t all);
extern boolean_t debug_legacy_state_is_valid(arm_legacy_debug_state_t *ds);
extern boolean_t debug_state_is_valid32(arm_debug_state32_t *ds);
extern boolean_t debug_state_is_valid64(arm_debug_state64_t *ds);
extern int copyio_check_user_addr(user_addr_t user_addr, vm_size_t nbytes);
extern int apply_func_phys(addr64_t src64, vm_size_t bytes, int (*func)(void * buffer, vm_size_t bytes, void * arg), void * arg);
#define TBI_MASK 0xff00000000000000
#define tbi_clear(addr) ((addr) & ~(TBI_MASK))
#else
#error Unknown architecture.
#endif
#endif