← Home

HACDBSBR_EL2: Hardware Accelerator for Cleaning Dirty State Base Register

Purpose

Control register for HACDBS structure.

Configuration

This register is present only when FEAT_HACDBS is implemented. Otherwise, direct accesses to HACDBSBR_EL2 are UNDEFINED.

Attributes

HACDBSBR_EL2 is a 64-bit register.

Field descriptions

6362616059585756555453525150494847464544434241403938373635343332
313029282726252423222120191817161514131211109876543210
RES0BADDR
BADDRENRES0SZ

Bits [63:56]

Reserved, RES0.

BADDR, bits [55:12]

HACDBS base address, bits [55:12].

Bits of this field above the implemented physical address size, indicated in ID_AA64MMFR0_EL1.PARange, are RES0.

Similarly, based on the value of the SZ field of this register, for encodings of the SZ field greater than 4KB, bits [(SZ+12-1):12] of this field are RES0. HACDBS must be aligned to its size.

The reset behavior of this field is:

EN, bit [11]

Enable use of HACDBS.

ENMeaning
0b0

Hardware accelerator for cleaning Dirty state is disabled.

0b1

Hardware accelerator for cleaning Dirty state is enabled.

If SCR_EL3.HACDBSEn is set to 0, then this field behaves as 0 for all purposes other than a direct read of the value of this bit.

The reset behavior of this field is:

Bits [10:4]

Reserved, RES0.

SZ, bits [3:0]

Size of the HACDBS.

SZMeaning
0b0001

8KB

0b0010

16KB

0b0011

32KB

0b0100

64KB

0b0101

128KB

0b0110

256KB

0b0111

512KB

0b1000

1MB

0b1001

2MB

All other values are reserved.

The reset behavior of this field is:

Accessing HACDBSBR_EL2

Accesses to this register use the following encodings in the System register encoding space:

MRS <Xt>, HACDBSBR_EL2

op0op1CRnCRmop2
0b110b1000b00100b00110b100

if PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if EffectiveHCR_EL2_NVx() IN {'1x1'} then X[t, 64] = NVMem[0x2F0]; elsif EffectiveHCR_EL2_NVx() IN {'xx1'} then AArch64.SystemAccessTrap(EL2, 0x18); else UNDEFINED; elsif PSTATE.EL == EL2 then if HaveEL(EL3) && EL3SDDUndefPriority() && SCR_EL3.HACDBSEn == '0' then UNDEFINED; elsif HaveEL(EL3) && SCR_EL3.HACDBSEn == '0' then if EL3SDDUndef() then UNDEFINED; else AArch64.SystemAccessTrap(EL3, 0x18); else X[t, 64] = HACDBSBR_EL2; elsif PSTATE.EL == EL3 then X[t, 64] = HACDBSBR_EL2;

MSR HACDBSBR_EL2, <Xt>

op0op1CRnCRmop2
0b110b1000b00100b00110b100

if PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if EffectiveHCR_EL2_NVx() IN {'1x1'} then NVMem[0x2F0] = X[t, 64]; elsif EffectiveHCR_EL2_NVx() IN {'xx1'} then AArch64.SystemAccessTrap(EL2, 0x18); else UNDEFINED; elsif PSTATE.EL == EL2 then if HaveEL(EL3) && EL3SDDUndefPriority() && SCR_EL3.HACDBSEn == '0' then UNDEFINED; elsif HaveEL(EL3) && SCR_EL3.HACDBSEn == '0' then if EL3SDDUndef() then UNDEFINED; else AArch64.SystemAccessTrap(EL3, 0x18); else HACDBSBR_EL2 = X[t, 64]; elsif PSTATE.EL == EL3 then HACDBSBR_EL2 = X[t, 64];