105a24871SPaolo Bonzini /*
205a24871SPaolo Bonzini  * host-signal.h: signal info dependent on the host architecture
305a24871SPaolo Bonzini  *
405a24871SPaolo Bonzini  * Copyright (c) 2003-2005 Fabrice Bellard
505a24871SPaolo Bonzini  * Copyright (c) 2021 Linaro Limited
605a24871SPaolo Bonzini  *
705a24871SPaolo Bonzini  * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
805a24871SPaolo Bonzini  * See the COPYING file in the top-level directory.
905a24871SPaolo Bonzini  */
1005a24871SPaolo Bonzini 
1105a24871SPaolo Bonzini #ifndef AARCH64_HOST_SIGNAL_H
1205a24871SPaolo Bonzini #define AARCH64_HOST_SIGNAL_H
1305a24871SPaolo Bonzini 
14*9940799bSRichard Henderson /* The third argument to a SA_SIGINFO handler is ucontext_t. */
15*9940799bSRichard Henderson typedef ucontext_t host_sigcontext;
16*9940799bSRichard Henderson 
1705a24871SPaolo Bonzini /* Pre-3.16 kernel headers don't have these, so provide fallback definitions */
1805a24871SPaolo Bonzini #ifndef ESR_MAGIC
1905a24871SPaolo Bonzini #define ESR_MAGIC 0x45535201
2005a24871SPaolo Bonzini struct esr_context {
2105a24871SPaolo Bonzini     struct _aarch64_ctx head;
2205a24871SPaolo Bonzini     uint64_t esr;
2305a24871SPaolo Bonzini };
2405a24871SPaolo Bonzini #endif
2505a24871SPaolo Bonzini 
first_ctx(host_sigcontext * uc)26*9940799bSRichard Henderson static inline struct _aarch64_ctx *first_ctx(host_sigcontext *uc)
2705a24871SPaolo Bonzini {
2805a24871SPaolo Bonzini     return (struct _aarch64_ctx *)&uc->uc_mcontext.__reserved;
2905a24871SPaolo Bonzini }
3005a24871SPaolo Bonzini 
next_ctx(struct _aarch64_ctx * hdr)3105a24871SPaolo Bonzini static inline struct _aarch64_ctx *next_ctx(struct _aarch64_ctx *hdr)
3205a24871SPaolo Bonzini {
3305a24871SPaolo Bonzini     return (struct _aarch64_ctx *)((char *)hdr + hdr->size);
3405a24871SPaolo Bonzini }
3505a24871SPaolo Bonzini 
host_signal_pc(host_sigcontext * uc)36*9940799bSRichard Henderson static inline uintptr_t host_signal_pc(host_sigcontext *uc)
3705a24871SPaolo Bonzini {
3805a24871SPaolo Bonzini     return uc->uc_mcontext.pc;
3905a24871SPaolo Bonzini }
4005a24871SPaolo Bonzini 
host_signal_set_pc(host_sigcontext * uc,uintptr_t pc)41*9940799bSRichard Henderson static inline void host_signal_set_pc(host_sigcontext *uc, uintptr_t pc)
4205a24871SPaolo Bonzini {
4305a24871SPaolo Bonzini     uc->uc_mcontext.pc = pc;
4405a24871SPaolo Bonzini }
4505a24871SPaolo Bonzini 
host_signal_mask(host_sigcontext * uc)46*9940799bSRichard Henderson static inline void *host_signal_mask(host_sigcontext *uc)
47c8c89a6aSRichard Henderson {
48c8c89a6aSRichard Henderson     return &uc->uc_sigmask;
49c8c89a6aSRichard Henderson }
50c8c89a6aSRichard Henderson 
host_signal_write(siginfo_t * info,host_sigcontext * uc)51*9940799bSRichard Henderson static inline bool host_signal_write(siginfo_t *info, host_sigcontext *uc)
5205a24871SPaolo Bonzini {
5305a24871SPaolo Bonzini     struct _aarch64_ctx *hdr;
5405a24871SPaolo Bonzini     uint32_t insn;
5505a24871SPaolo Bonzini 
5605a24871SPaolo Bonzini     /* Find the esr_context, which has the WnR bit in it */
5705a24871SPaolo Bonzini     for (hdr = first_ctx(uc); hdr->magic; hdr = next_ctx(hdr)) {
5805a24871SPaolo Bonzini         if (hdr->magic == ESR_MAGIC) {
5905a24871SPaolo Bonzini             struct esr_context const *ec = (struct esr_context const *)hdr;
6005a24871SPaolo Bonzini             uint64_t esr = ec->esr;
6105a24871SPaolo Bonzini 
6205a24871SPaolo Bonzini             /* For data aborts ESR.EC is 0b10010x: then bit 6 is the WnR bit */
6305a24871SPaolo Bonzini             return extract32(esr, 27, 5) == 0x12 && extract32(esr, 6, 1) == 1;
6405a24871SPaolo Bonzini         }
6505a24871SPaolo Bonzini     }
6605a24871SPaolo Bonzini 
6705a24871SPaolo Bonzini     /*
6805a24871SPaolo Bonzini      * Fall back to parsing instructions; will only be needed
6905a24871SPaolo Bonzini      * for really ancient (pre-3.16) kernels.
7005a24871SPaolo Bonzini      */
7105a24871SPaolo Bonzini     insn = *(uint32_t *)host_signal_pc(uc);
7205a24871SPaolo Bonzini 
7305a24871SPaolo Bonzini     return (insn & 0xbfff0000) == 0x0c000000   /* C3.3.1 */
7405a24871SPaolo Bonzini         || (insn & 0xbfe00000) == 0x0c800000   /* C3.3.2 */
7505a24871SPaolo Bonzini         || (insn & 0xbfdf0000) == 0x0d000000   /* C3.3.3 */
7605a24871SPaolo Bonzini         || (insn & 0xbfc00000) == 0x0d800000   /* C3.3.4 */
7705a24871SPaolo Bonzini         || (insn & 0x3f400000) == 0x08000000   /* C3.3.6 */
7805a24871SPaolo Bonzini         || (insn & 0x3bc00000) == 0x39000000   /* C3.3.13 */
7905a24871SPaolo Bonzini         || (insn & 0x3fc00000) == 0x3d800000   /* ... 128bit */
8005a24871SPaolo Bonzini         /* Ignore bits 10, 11 & 21, controlling indexing.  */
8105a24871SPaolo Bonzini         || (insn & 0x3bc00000) == 0x38000000   /* C3.3.8-12 */
8205a24871SPaolo Bonzini         || (insn & 0x3fe00000) == 0x3c800000   /* ... 128bit */
8305a24871SPaolo Bonzini         /* Ignore bits 23 & 24, controlling indexing.  */
8405a24871SPaolo Bonzini         || (insn & 0x3a400000) == 0x28000000; /* C3.3.7,14-16 */
8505a24871SPaolo Bonzini }
8605a24871SPaolo Bonzini 
8705a24871SPaolo Bonzini #endif
88