/*
|
* SPDX-License-Identifier: GPL-2.0
|
*
|
* Copyright (C) 2015 Dmitriy Cherkasov <dmitriy@mperpetuo.com>
|
* Copyright (C) 2021 Philippe Gerum <rpm@xenomai.org>
|
*/
|
|
#ifndef _COBALT_ARM64_DOVETAIL_THREAD_H
|
#define _COBALT_ARM64_DOVETAIL_THREAD_H
|
|
#include <asm-generic/xenomai/dovetail/thread.h>
|
#include <asm/dovetail.h>
|
|
#define xnarch_fault_pc(__regs) ((unsigned long)((__regs)->pc - 4)) /* XXX ? */
|
|
#define xnarch_fault_pf_p(__nr) ((__nr) == ARM64_TRAP_ACCESS)
|
#define xnarch_fault_bp_p(__nr) ((current->ptrace & PT_PTRACED) && \
|
((__nr) == ARM64_TRAP_DEBUG || (__nr) == ARM64_TRAP_UNDI))
|
|
#define xnarch_fault_notify(__nr) (!xnarch_fault_bp_p(__nr))
|
|
#endif /* !_COBALT_ARM64_DOVETAIL_THREAD_H */
|
