pmpaddr13

PMP Address 13

PMP entry address

Attributes

CSR Address

0x3bd

Defining extension

  • Smpmp, version >= 0

Length

64-bit

Privilege Mode

M

Format

pmpaddr13 format
Figure 1. pmpaddr13 format

Field Summary

Name Location Type Reset Value

ADDR

63:0

RW

UNDEFINED_LEGAL

Fields

ADDR

Location

pmpaddr13[63:0]

Description

Bits PHYS_ADDR_WIDTH-1:2 of the address specifier for PMP entry 13 (or, if pmp14cfg.A == TOR, for PMP entry 14).

Type

RW

Read-Write

Field is writable by software. Any value that fits in the field is acceptable and shall be retained for subsequent reads.
Reset value

UNDEFINED_LEGAL

Software write

This field has special behavior when written by software (e.g., through csrrw).

When software tries to write csr_value, the field will be written with the return value of the function below.

if (csr_value.ADDR >= (14)) {
  return UNDEFINED_LEGAL_DETERMINISTIC;
} else {
  return UNDEFINED_LEGAL_DETERMINISTIC;
}

Software read

This CSR may return a value that is different from what is stored in hardware.

  • Pruned

  • Original

if ((true) && (CSR[pmpcfg2].pmp13cfg[4] == 0)) {
  Bits<PHYS_ADDR_WIDTH - 2> mask = {10{1'b1}};
  return CSR[pmpaddr13].ADDR & ~mask;
} else {
  return CSR[pmpaddr13].ADDR;
}
if (XLEN == 32) {
  if ((PMP_GRANULARITY >= 16) && (CSR[pmpcfg3].pmp13cfg[4] == 1)) {
    return CSR[pmpaddr13].ADDR | {PMP_GRANULARITY - 3{1'b1}};
  } else if ((PMP_GRANULARITY >= 8) && (CSR[pmpcfg3].pmp13cfg[4] == 0)) {
    Bits<PHYS_ADDR_WIDTH - 2> mask = {PMP_GRANULARITY - 2{1'b1}};
    return CSR[pmpaddr13].ADDR & ~mask;
  } else {
    return CSR[pmpaddr13].ADDR;
  }
} else {
  if ((PMP_GRANULARITY >= 16) && (CSR[pmpcfg2].pmp13cfg[4] == 1)) {
    return CSR[pmpaddr13].ADDR | {PMP_GRANULARITY - 3{1'b1}};
  } else if ((PMP_GRANULARITY >= 8) && (CSR[pmpcfg2].pmp13cfg[4] == 0)) {
    Bits<PHYS_ADDR_WIDTH - 2> mask = {PMP_GRANULARITY - 2{1'b1}};
    return CSR[pmpaddr13].ADDR & ~mask;
  } else {
    return CSR[pmpaddr13].ADDR;
  }
}