Home | History | Annotate | Line # | Download | only in include
armreg.h revision 1.8
      1 /* $NetBSD: armreg.h,v 1.8 2018/03/20 10:14:29 ryo Exp $ */
      2 
      3 /*-
      4  * Copyright (c) 2014 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * This code is derived from software contributed to The NetBSD Foundation
      8  * by Matt Thomas of 3am Software Foundry.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  *
     19  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  * POSSIBILITY OF SUCH DAMAGE.
     30  */
     31 
     32 #ifndef _AARCH64_ARMREG_H_
     33 #define _AARCH64_ARMREG_H_
     34 
     35 #ifdef __aarch64__
     36 
     37 #include <arm/cputypes.h>
     38 #include <sys/types.h>
     39 
     40 #define AARCH64REG_READ_INLINE2(regname, regdesc)		\
     41 static uint64_t inline						\
     42 reg_##regname##_read(void)					\
     43 {								\
     44 	uint64_t __rv;						\
     45 	__asm __volatile("mrs %0, " #regdesc : "=r"(__rv));	\
     46 	return __rv;						\
     47 }
     48 
     49 #define AARCH64REG_WRITE_INLINE2(regname, regdesc)		\
     50 static void inline						\
     51 reg_##regname##_write(uint64_t __val)				\
     52 {								\
     53 	__asm __volatile("msr " #regdesc ", %0" :: "r"(__val));	\
     54 }
     55 
     56 #define AARCH64REG_WRITEIMM_INLINE2(regname, regdesc)		\
     57 static void inline						\
     58 reg_##regname##_write(uint64_t __val)				\
     59 {								\
     60 	__asm __volatile("msr " #regdesc ", %0" :: "n"(__val));	\
     61 }
     62 
     63 #define AARCH64REG_READ_INLINE(regname)				\
     64 	AARCH64REG_READ_INLINE2(regname, regname)
     65 
     66 #define AARCH64REG_WRITE_INLINE(regname)			\
     67 	AARCH64REG_WRITE_INLINE2(regname, regname)
     68 
     69 #define AARCH64REG_WRITEIMM_INLINE(regname)			\
     70 	AARCH64REG_WRITEIMM_INLINE2(regname, regname)
     71 /*
     72  * System registers available at EL0 (user)
     73  */
     74 AARCH64REG_READ_INLINE(ctr_el0)		// Cache Type Register
     75 
     76 static const uintmax_t
     77    CTR_EL0_CWG_LINE	= __BITS(27,24), // Cacheback Writeback Granule
     78    CTR_EL0_ERG_LINE	= __BITS(23,20), // Exclusives Reservation Granule
     79    CTR_EL0_DMIN_LINE	= __BITS(19,16), // Dcache MIN LINE size (log2 - 2)
     80    CTR_EL0_L1IP_MASK	= __BITS(15,14),
     81    CTR_EL0_L1IP_AIVIVT	= 1, // ASID-tagged Virtual Index, Virtual Tag
     82    CTR_EL0_L1IP_VIPT	= 2, // Virtual Index, Physical Tag
     83    CTR_EL0_L1IP_PIPT	= 3, // Physical Index, Physical Tag
     84    CTR_EL0_IMIN_LINE	= __BITS(3,0); // Icache MIN LINE size (log2 - 2)
     85 
     86 AARCH64REG_READ_INLINE(dczid_el0)	// Data Cache Zero ID Register
     87 
     88 static const uintmax_t
     89     DCZID_DZP = __BIT(4),	// Data Zero Prohibited
     90     DCZID_BS  = __BITS(3,0);	// Block Size (log2 - 2)
     91 
     92 AARCH64REG_READ_INLINE(tpidrro_el0)	// Thread Pointer ID Register (RO)
     93 
     94 AARCH64REG_READ_INLINE(fpcr)		// Floating Point Control Register
     95 AARCH64REG_WRITE_INLINE(fpcr)
     96 
     97 static const uintmax_t
     98     FPCR_AHP    = __BIT(26),	// Alternative Half Precision
     99     FPCR_DN     = __BIT(25),	// Default Nan Control
    100     FPCR_FZ     = __BIT(24),	// Flush-To-Zero
    101     FPCR_RMODE  = __BITS(23,22),// Rounding Mode
    102      FPCR_RN     = 0,		//  Round Nearest
    103      FPCR_RP     = 1,		//  Round towards Plus infinity
    104      FPCR_RM     = 2,		//  Round towards Minus infinity
    105      FPCR_RZ     = 3,		//  Round towards Zero
    106     FPCR_STRIDE = __BITS(21,20),
    107     FPCR_LEN    = __BITS(18,16),
    108     FPCR_IDE    = __BIT(15),	// Input Denormal Exception enable
    109     FPCR_IXE    = __BIT(12),	// IneXact Exception enable
    110     FPCR_UFE    = __BIT(11),	// UnderFlow Exception enable
    111     FPCR_OFE    = __BIT(10),	// OverFlow Exception enable
    112     FPCR_DZE    = __BIT(9),	// Divide by Zero Exception enable
    113     FPCR_IOE    = __BIT(8),	// Invalid Operation Exception enable
    114     FPCR_ESUM   = 0x1F00;
    115 
    116 AARCH64REG_READ_INLINE(fpsr)		// Floating Point Status Register
    117 AARCH64REG_WRITE_INLINE(fpsr)
    118 
    119 static const uintmax_t
    120     FPSR_N32  = __BIT(31), // AARCH32 Negative
    121     FPSR_Z32  = __BIT(30), // AARCH32 Zero
    122     FPSR_C32  = __BIT(29), // AARCH32 Carry
    123     FPSR_V32  = __BIT(28), // AARCH32 Overflow
    124     FPSR_QC   = __BIT(27), // SIMD Saturation
    125     FPSR_IDC  = __BIT(7), // Input Denormal Cumulative status
    126     FPSR_IXC  = __BIT(4), // IneXact Cumulative status
    127     FPSR_UFC  = __BIT(3), // UnderFlow Cumulative status
    128     FPSR_OFC  = __BIT(2), // OverFlow Cumulative status
    129     FPSR_DZC  = __BIT(1), // Divide by Zero Cumulative status
    130     FPSR_IOC  = __BIT(0), // Invalid Operation Cumulative status
    131     FPSR_CSUM = 0x1F;
    132 
    133 AARCH64REG_READ_INLINE(nzcv)		// condition codes
    134 AARCH64REG_WRITE_INLINE(nzcv)
    135 
    136 static const uintmax_t
    137     NZCV_N = __BIT(31), // Negative
    138     NZCV_Z = __BIT(30), // Zero
    139     NZCV_C = __BIT(29), // Carry
    140     NZCV_V = __BIT(28); // Overflow
    141 
    142 AARCH64REG_READ_INLINE(tpidr_el0)	// Thread Pointer ID Register (RW)
    143 AARCH64REG_WRITE_INLINE(tpidr_el0)
    144 
    145 /*
    146  * From here on, these can only be accessed at EL1 (kernel)
    147  */
    148 
    149 /*
    150  * These are readonly registers
    151  */
    152 AARCH64REG_READ_INLINE2(cbar_el1, s3_1_c15_c3_0)	 // Cortex-A57
    153 
    154 static const uintmax_t CBAR_PA = __BITS(47,18);
    155 
    156 AARCH64REG_READ_INLINE(clidr_el1)
    157 AARCH64REG_READ_INLINE(ccsidr_el1)
    158 AARCH64REG_READ_INLINE(id_afr0_el1)
    159 AARCH64REG_READ_INLINE(id_adr0_el1)
    160 AARCH64REG_READ_INLINE(id_isar0_el1)
    161 AARCH64REG_READ_INLINE(id_isar1_el1)
    162 AARCH64REG_READ_INLINE(id_isar2_el1)
    163 AARCH64REG_READ_INLINE(id_isar3_el1)
    164 AARCH64REG_READ_INLINE(id_isar4_el1)
    165 AARCH64REG_READ_INLINE(id_isar5_el1)
    166 AARCH64REG_READ_INLINE(id_mmfr0_el1)
    167 AARCH64REG_READ_INLINE(id_mmfr1_el1)
    168 AARCH64REG_READ_INLINE(id_mmfr2_el1)
    169 AARCH64REG_READ_INLINE(id_mmfr3_el1)
    170 AARCH64REG_READ_INLINE(id_prf0_el1)
    171 AARCH64REG_READ_INLINE(id_prf1_el1)
    172 AARCH64REG_READ_INLINE(isr_el1)
    173 AARCH64REG_READ_INLINE(midr_el1)
    174 AARCH64REG_READ_INLINE(mpidr_el1)
    175 AARCH64REG_READ_INLINE(mvfr0_el1)
    176 AARCH64REG_READ_INLINE(mvfr1_el1)
    177 AARCH64REG_READ_INLINE(mvfr2_el1)
    178 AARCH64REG_READ_INLINE(revidr_el1)
    179 
    180 /*
    181  * These are read/write registers
    182  */
    183 AARCH64REG_READ_INLINE(ccselr_el1)	// Cache Size Selection Register
    184 AARCH64REG_WRITE_INLINE(ccselr_el1)
    185 
    186 AARCH64REG_READ_INLINE(cpacr_el1)	// Coprocessor Access Control Regiser
    187 AARCH64REG_WRITE_INLINE(cpacr_el1)
    188 
    189 static const uintmax_t
    190     CPACR_TTA		= __BIT(28),	 // System Register Access Traps
    191     CPACR_FPEN		= __BITS(21,20),
    192     CPACR_FPEN_NONE	= __SHIFTIN(0, CPACR_FPEN),
    193     CPACR_FPEN_EL1	= __SHIFTIN(1, CPACR_FPEN),
    194     CPACR_FPEN_NONE_2	= __SHIFTIN(2, CPACR_FPEN),
    195     CPACR_FPEN_ALL	= __SHIFTIN(3, CPACR_FPEN);
    196 
    197 AARCH64REG_READ_INLINE(elr_el1)		// Exception Link Register
    198 AARCH64REG_WRITE_INLINE(elr_el1)
    199 
    200 AARCH64REG_READ_INLINE(esr_el1)		// Exception Symdrone Register
    201 AARCH64REG_WRITE_INLINE(esr_el1)
    202 
    203 static const uintmax_t
    204     ESR_EC = 		__BITS(31,26), // Exception Cause
    205      ESR_EC_UNKNOWN		= 0x00,	// AXX: Unknown Reason
    206      ESR_EC_WFX			= 0x01,	// AXX: WFI or WFE instruction execution
    207      ESR_EC_CP15_RT		= 0x03,	// A32: MCR/MRC access to CP15 !EC=0
    208      ESR_EC_CP15_RRT		= 0x04,	// A32: MCRR/MRRC access to CP15 !EC=0
    209      ESR_EC_CP14_RT		= 0x05,	// A32: MCR/MRC access to CP14
    210      ESR_EC_CP14_DT		= 0x06,	// A32: LDC/STC access to CP14
    211      ESR_EC_FP_ACCESS		= 0x07,	// AXX: Access to SIMD/FP Registers
    212      ESR_EC_FPID		= 0x08,	// A32: MCR/MRC access to CP10 !EC=7
    213      ESR_EC_CP14_RRT		= 0x0c,	// A32: MRRC access to CP14
    214      ESR_EC_ILL_STATE		= 0x0e,	// AXX: Illegal Execution State
    215      ESR_EC_SVC_A32		= 0x11,	// A32: SVC Instruction Execution
    216      ESR_EC_HVC_A32		= 0x12,	// A32: HVC Instruction Execution
    217      ESR_EC_SMC_A32		= 0x13,	// A32: SMC Instruction Execution
    218      ESR_EC_SVC_A64		= 0x15,	// A64: SVC Instruction Execution
    219      ESR_EC_HVC_A64		= 0x16,	// A64: HVC Instruction Execution
    220      ESR_EC_SMC_A64		= 0x17,	// A64: SMC Instruction Execution
    221      ESR_EC_SYS_REG		= 0x18,	// A64: MSR/MRS/SYS instruction (!EC0/1/7)
    222      ESR_EC_INSN_ABT_EL0	= 0x20, // AXX: Instruction Abort (EL0)
    223      ESR_EC_INSN_ABT_EL1	= 0x21, // AXX: Instruction Abort (EL1)
    224      ESR_EC_PC_ALIGNMENT	= 0x22, // AXX: Misaligned PC
    225      ESR_EC_DATA_ABT_EL0	= 0x24, // AXX: Data Abort (EL0)
    226      ESR_EC_DATA_ABT_EL1	= 0x25, // AXX: Data Abort (EL1)
    227      ESR_EC_SP_ALIGNMENT	= 0x26, // AXX: Misaligned SP
    228      ESR_EC_FP_TRAP_A32		= 0x28,	// A32: FP Exception
    229      ESR_EC_FP_TRAP_A64		= 0x2c,	// A64: FP Exception
    230      ESR_EC_SERROR		= 0x2f,	// AXX: SError Interrupt
    231      ESR_EC_BRKPNT_EL0		= 0x30,	// AXX: Breakpoint Exception (EL0)
    232      ESR_EC_BRKPNT_EL1		= 0x31,	// AXX: Breakpoint Exception (EL1)
    233      ESR_EC_SW_STEP_EL0		= 0x32,	// AXX: Software Step (EL0)
    234      ESR_EC_SW_STEP_EL1		= 0x33,	// AXX: Software Step (EL1)
    235      ESR_EC_WTCHPNT_EL0		= 0x34,	// AXX: Watchpoint (EL0)
    236      ESR_EC_WTCHPNT_EL1		= 0x35,	// AXX: Watchpoint (EL1)
    237      ESR_EC_BKPT_INSN_A32 = 0x38,	// A32: BKPT Instruction Execution
    238      ESR_EC_VECTOR_CATCH = 0x3a,	// A32: Vector Catch Exception
    239      ESR_EC_BKPT_INSN_A64 = 0x3c,	// A64: BKPT Instruction Execution
    240     ESR_IL = 		__BIT(25), // Instruction Length (1=32-bit)
    241     ESR_ISS = 		__BITS(24,0); // Instruction Specific Syndrome
    242 
    243 
    244 AARCH64REG_READ_INLINE(far_el1)		// Fault Address Register
    245 AARCH64REG_WRITE_INLINE(far_el1)
    246 
    247 AARCH64REG_READ_INLINE(mair_el1)	// Main Id Register
    248 AARCH64REG_WRITE_INLINE(mair_el1)
    249 
    250 AARCH64REG_READ_INLINE(par_el1)		// Physical Address Register
    251 AARCH64REG_WRITE_INLINE(par_el1)
    252 
    253 static const uintmax_t
    254     PAR_ATTR		= __BITS(63,56),// F=0 memory attributes
    255     PAR_PA		= __BITS(47,12),// F=0 physical address
    256     PAR_NS		= __BIT(9),	// F=0 non-secure
    257     PAR_S		= __BIT(9),	// F=1 failure stage
    258     PAR_SHA		= __BITS(8,7),	// F=0 shareability attribute
    259      PAR_SHA_NONE	= 0,
    260      PAR_SHA_OUTER	= 2,
    261      PAR_SHA_INNER	= 3,
    262     PAR_PTW		= __BIT(8),	// F=1 partial table walk
    263     PAR_FST		= __BITS(6,1),	// F=1 fault status code
    264     PAR_F		= __BIT(0);	// translation failed
    265 
    266 AARCH64REG_READ_INLINE(rmr_el1)		// Reset Management Register
    267 AARCH64REG_WRITE_INLINE(rmr_el1)
    268 
    269 AARCH64REG_READ_INLINE(rvbar_el1)	// Reset Vector Base Address Register
    270 AARCH64REG_WRITE_INLINE(rvbar_el1)
    271 
    272 AARCH64REG_READ_INLINE(sctlr_el1)	// System Control Register
    273 AARCH64REG_WRITE_INLINE(sctlr_el1)
    274 
    275 AARCH64REG_READ_INLINE(sp_el0)		// Stack Pointer
    276 AARCH64REG_WRITE_INLINE(sp_el0)
    277 
    278 AARCH64REG_READ_INLINE(daif)		// Debug Async Irq Fiq mask register
    279 AARCH64REG_WRITE_INLINE(daif)
    280 AARCH64REG_WRITEIMM_INLINE(daifclr)
    281 AARCH64REG_WRITEIMM_INLINE(daifset)
    282 
    283 static const uintmax_t
    284     DAIF_D = __BIT(3),	// Debug Exception Mask
    285     DAIF_A = __BIT(2),	// SError Abort Mask
    286     DAIF_I = __BIT(1),	// IRQ Mask
    287     DAIF_F = __BIT(0);	// FIQ Mask
    288 
    289 AARCH64REG_READ_INLINE(spsr_el1)	// Saved Program Status Register
    290 AARCH64REG_WRITE_INLINE(spsr_el1)
    291 
    292 static const uintmax_t
    293     SPSR_NZCV	  = __BITS(31,28),	// mask of N Z C V
    294      SPSR_N	  = __BIT(31),		// Negative
    295      SPSR_Z	  = __BIT(30),		// Zero
    296      SPSR_C	  = __BIT(29),		// Carry
    297      SPSR_V	  = __BIT(28),		// oVerflow
    298     SPSR_A32_Q	  = __BIT(27),		// A32: Overflow
    299     SPSR_A32_J	  = __BIT(24),		// A32: Jazelle Mode
    300     SPSR_A32_IT1  = __BIT(23),		// A32: IT[1]
    301     SPSR_A32_IT0  = __BIT(22),		// A32: IT[0]
    302     SPSR_SS	  = __BIT(21),		// Software Step
    303     SPSR_IL	  = __BIT(20),		// Instruction Length
    304     SPSR_GE	  = __BITS(19,16),	// A32: SIMD GE
    305     SPSR_IT7	  = __BIT(15),		// A32: IT[7]
    306     SPSR_IT6	  = __BIT(14),		// A32: IT[6]
    307     SPSR_IT5	  = __BIT(13),		// A32: IT[5]
    308     SPSR_IT4	  = __BIT(12),		// A32: IT[4]
    309     SPSR_IT3	  = __BIT(11),		// A32: IT[3]
    310     SPSR_IT2	  = __BIT(10),		// A32: IT[2]
    311     SPSR_A64_D	  = __BIT(9),		// A64: Debug Exception Mask
    312     SPSR_A32_E	  = __BIT(9),		// A32: BE Endian Mode
    313     SPSR_A	  = __BIT(8),		// Async abort (SError) Mask
    314     SPSR_I	  = __BIT(7),		// IRQ Mask
    315     SPSR_F	  = __BIT(6),		// FIQ Mask
    316     SPSR_A32_T	  = __BIT(5),		// A32 Thumb Mode
    317     SPSR_M	  = __BITS(4,0),	// Execution State
    318      SPSR_M_EL3H  = 0x0d,
    319      SPSR_M_EL3T  = 0x0c,
    320      SPSR_M_EL2H  = 0x09,
    321      SPSR_M_EL2T  = 0x08,
    322      SPSR_M_EL1H  = 0x05,
    323      SPSR_M_EL1T  = 0x04,
    324      SPSR_M_EL0T  = 0x00,
    325      SPSR_M_SYS32 = 0x1f,
    326      SPSR_M_UND32 = 0x1b,
    327      SPSR_M_ABT32 = 0x17,
    328      SPSR_M_SVC32 = 0x13,
    329      SPSR_M_IRQ32 = 0x12,
    330      SPSR_M_FIQ32 = 0x11,
    331      SPSR_M_USR32 = 0x10;
    332 
    333 AARCH64REG_READ_INLINE(tcr_el1)		// Translation Control Register
    334 AARCH64REG_WRITE_INLINE(tcr_el1)
    335 
    336 static const uintmax_t
    337     TCR_TBI1	    = __BIT(38),	// ignore Top Byte for TTBR1_EL1
    338     TCR_TBI0	    = __BIT(37),	// ignore Top Byte for TTBR0_EL1
    339     TCR_AS64K	    = __BIT(36),	// Use 64K ASIDs
    340     TCR_IPS	    = __BITS(34,32),	// Intermediate Phys Addr Size
    341      TCR_IPS_256TB  = 5,		// 48 bits (256 TB)
    342      TCR_IPS_64TB   = 4,		// 44 bits  (16 TB)
    343      TCR_IPS_4TB    = 3,		// 42 bits  ( 4 TB)
    344      TCR_IPS_1TB    = 2,		// 40 bits  ( 1 TB)
    345      TCR_IPS_64GB   = 1,		// 36 bits  (64 GB)
    346      TCR_IPS_4GB    = 0,		// 32 bits   (4 GB)
    347     TCR_TG1	    = __BITS(31,30),	// Page Granule Size
    348      TCR_TG_4KB	    = 1,		// 4KB page size
    349      TCR_TG_16KB    = 2,		// 16KB page size
    350      TCR_TG_64KB    = 3,		// 64KB page size
    351     TCR_SH1	    = __BITS(29,28),
    352      TCR_SH_NONE    = 0,
    353      TCR_SH_OUTER   = 1,
    354      TCR_SH_INNER   = 2,
    355     TCR_ORGN1	    = __BITS(27,26),
    356      TCR_XRGN_NC    = 0,		// Non Cacheable
    357      TCR_XRGN_WB_WA = 1,		// WriteBack WriteAllocate
    358      TCR_XRGN_WT    = 2,		// WriteThrough
    359      TCR_XRGN_WB    = 3,		// WriteBack
    360     TCR_IRGN1	    = __BITS(25,24),
    361     TCR_EPD1	    = __BIT(23),	// Walk Disable for TTBR1_EL1
    362     TCR_A1	    = __BIT(22),	// ASID is in TTBR1_EL1
    363     TCR_T1SZ	    = __BITS(21,16),	// Size offset for TTBR1_EL1
    364     TCR_TG0	    = __BITS(15,14),
    365     TCR_SH0	    = __BITS(13,12),
    366     TCR_ORGN0	    = __BITS(11,10),
    367     TCR_IRGN0	    = __BITS(9,8),
    368     TCR_EPD0	    = __BIT(7),		// Walk Disable for TTBR0
    369     TCR_T0SZ	    = __BITS(5,0);	// Size offset for TTBR0_EL1
    370 
    371 #define TCR_PAGE_SIZE1(tcr)	(1L << (__SHIFTOUT(tcr, TCR_TG1) * 2 + 10))
    372 
    373 AARCH64REG_READ_INLINE(tpidr_el1)	// Thread ID Register (EL1)
    374 AARCH64REG_WRITE_INLINE(tpidr_el1)
    375 
    376 AARCH64REG_WRITE_INLINE(tpidrro_el0)	// Thread ID Register (RO for EL0)
    377 
    378 AARCH64REG_READ_INLINE(ttbr0_el0)	// Translation Table Base Register 0 EL0
    379 AARCH64REG_WRITE_INLINE(ttbr0_el0)
    380 
    381 AARCH64REG_READ_INLINE(ttbr0_el1)	// Translation Table Base Register 0 EL0
    382 AARCH64REG_WRITE_INLINE(ttbr0_el1)
    383 
    384 AARCH64REG_READ_INLINE(ttbr1_el1)	// Translation Table Base Register 1 EL1
    385 AARCH64REG_WRITE_INLINE(ttbr1_el1)
    386 
    387 static const uint64_t
    388     TTBR_ASID  = __BITS(63, 48),
    389     TTBR_BADDR = __BITS(47, 0);
    390 
    391 AARCH64REG_READ_INLINE(vbar_el1)	// Vector Base Address Register
    392 AARCH64REG_WRITE_INLINE(vbar_el1)
    393 
    394 AARCH64REG_READ_INLINE(pmccfiltr_el0)
    395 AARCH64REG_WRITE_INLINE(pmccfiltr_el0)
    396 
    397 static const uintmax_t
    398     PMCCFILTR_P	  = __BIT(31),	 // Don't count cycles in EL1
    399     PMCCFILTR_U	  = __BIT(30),	 // Don't count cycles in EL0
    400     PMCCFILTR_NSK = __BIT(29),	 // Don't count cycles in NS EL1
    401     PMCCFILTR_NSU = __BIT(28),	 // Don't count cycles in NS EL0
    402     PMCCFILTR_NSH = __BIT(27),	 // Don't count cycles in NS EL2
    403     PMCCFILTR_M	  = __BIT(26);	 // Don't count cycles in EL3
    404 
    405 AARCH64REG_READ_INLINE(pmccntr_el0)
    406 
    407 AARCH64REG_READ_INLINE(cntfrq_el0)
    408 
    409 AARCH64REG_READ_INLINE(cntkctl_el1)
    410 AARCH64REG_WRITE_INLINE(cntkctl_el1)
    411 
    412 static const uintmax_t
    413     CNTKCTL_EL0PTEN  = __BIT(9),	// EL0 access for CNTP CVAL/TVAL/CTL
    414     CNTKCTL_EL0VTEN  = __BIT(8),	// EL0 access for CNTV CVAL/TVAL/CTL
    415     CNTKCTL_ELNTI    = __BITS(7,4),
    416     CNTKCTL_EVNTDIR  = __BIT(3),
    417     CNTKCTL_EVNTEN   = __BIT(2),
    418     CNTKCTL_EL0VCTEN = __BIT(1),	// EL0 access for CNTVCT and CNTFRQ
    419     CNTKCTL_EL0PCTEN = __BIT(0);	// EL0 access for CNTPCT and CNTFRQ
    420 
    421 AARCH64REG_READ_INLINE(cntp_ctl_el0)
    422 AARCH64REG_WRITE_INLINE(cntp_ctl_el0)
    423 AARCH64REG_READ_INLINE(cntp_cval_el0)
    424 AARCH64REG_WRITE_INLINE(cntp_cval_el0)
    425 AARCH64REG_READ_INLINE(cntp_tval_el0)
    426 AARCH64REG_WRITE_INLINE(cntp_tval_el0)
    427 AARCH64REG_READ_INLINE(cntpct_el0)
    428 AARCH64REG_WRITE_INLINE(cntpct_el0)
    429 
    430 AARCH64REG_READ_INLINE(cntps_ctl_el1)
    431 AARCH64REG_WRITE_INLINE(cntps_ctl_el1)
    432 AARCH64REG_READ_INLINE(cntps_cval_el1)
    433 AARCH64REG_WRITE_INLINE(cntps_cval_el1)
    434 AARCH64REG_READ_INLINE(cntps_tval_el1)
    435 AARCH64REG_WRITE_INLINE(cntps_tval_el1)
    436 
    437 AARCH64REG_READ_INLINE(cntv_ctl_el0)
    438 AARCH64REG_WRITE_INLINE(cntv_ctl_el0)
    439 AARCH64REG_READ_INLINE(cntv_cval_el0)
    440 AARCH64REG_WRITE_INLINE(cntv_cval_el0)
    441 AARCH64REG_READ_INLINE(cntv_tval_el0)
    442 AARCH64REG_WRITE_INLINE(cntv_tval_el0)
    443 AARCH64REG_READ_INLINE(cntvct_el0)
    444 AARCH64REG_WRITE_INLINE(cntvct_el0)
    445 
    446 static const uintmax_t
    447     CNTCTL_ISTATUS = __BIT(2),	// Interrupt Asserted
    448     CNTCTL_IMASK   = __BIT(1),	// Timer Interrupt is Masked
    449     CNTCTL_ENABLE  = __BIT(0);	// Timer Enabled
    450 
    451 #elif defined(__arm__)
    452 
    453 #include <arm/armreg.h>
    454 
    455 #endif /* __aarch64__/__arm__ */
    456 
    457 #endif /* _AARCH64_ARMREG_H_ */
    458