mair_device_attr_t Struct Reference

MAIR attribute byte layout for Device memory. More...

Data Fields
uint8_t	xs: 1
uint8_t	res0_1: 1
uint8_t	type: 2
uint8_t	res0_7_4: 4

Detailed Description

MAIR attribute byte layout for Device memory.

Bits[7:4] must be 0b0000 to mark this slot as Device memory. Bits[3:2] select the device subtype (see device_type). Bit[1] is RES0. Bit[0] is the XS bit (FEAT_XS memory-tagging share domain); RES0 otherwise.

Field Documentation

res0_1

uint8_t mair_device_attr_t::res0_1

[1] RES0

res0_7_4

uint8_t mair_device_attr_t::res0_7_4

[7:4] Must be 0b0000 to identify as Device memory.

type

uint8_t mair_device_attr_t::type

[3:2] Device subtype (see device_type).

xs

uint8_t mair_device_attr_t::xs

[0] XS — FEAT_XS share domain; RES0 if not implemented.

---

The documentation for this struct was generated from the following file:

• src/kernel/mmu/mmu.c