Lines Matching +full:reference +full:- +full:manuals

1 /* SPDX-License-Identifier: GPL-2.0-only */
15 #include <asm/debug-monitors.h>
46  *     r0-r30: 64 bit
51  *     f0-f31: 128 bit
57  * Architecture Reference Manual that claimed "SPSR_ELx is a 32-bit register".
58  * and, as a result, allocated only 32-bits for the PSTATE in the remote
61  * Unfortunately "is a 32-bit register" has a very special meaning for
66  * manuals, what "is a 32-bit register" actually means in this context is
67  * "is a 64-bit register but one with no meaning allocated to any of the
68  * upper 32-bits... *yet*".
72  * that extended PSTATE to 64-bit was accepted into gdb-7.7 but the patch
73  * was reverted in gdb-7.8.1 and all later releases, when this was
76  * So... it is *not* wrong for us to only allocate 32-bits to PSTATE
77  * here even though the kernel itself allocates 64-bits for the same
82  * the gdb-7.7 version of the protocol you cannot use kgdb directly