icc_bpr1_el1_t Union Reference

ICC_BPR1_EL1 — Interrupt Controller Binary Point Register 1 (EL1). More...

Data Fields
uint64_t	raw
	Raw 64-bit register value.
struct {
uint32_t   binary_point: 3
	[2:0] BinaryPoint: The binary point split value (0–7). Minimum value is implementation-defined (read PRIbits from ICC_CTLR_EL1 to determine the floor).
uint64_t   res0: 61
	[63:3] Reserved.
};

Detailed Description

ICC_BPR1_EL1 — Interrupt Controller Binary Point Register 1 (EL1).

Defines the split between the priority group field and the subpriority field for Group 1 interrupts. Controls preemption behavior.

The binary point value N means:

• Priority group = priority[7:N+1] (determines preemption)
• Subpriority = priority[N:0] (no preemption effect)

Setting BinaryPoint=0 gives the finest preemption granularity (all priority bits participate in preemption). Higher values reduce preemption sensitivity.

---

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

• src/kernel/drivers/gicv3.c