Skip to main content

MAX_FRAME_INDEX

Constant MAX_FRAME_INDEX 

Source
pub const MAX_FRAME_INDEX: u64 = _; // 1_048_575u64
Expand description

最大合法 frame index(20-bit 帧索引域上界 2^20 - 1,AGENT.md §5.1)

描述符范围检查必须在 frame index 域进行,禁止用 raw 64-bit addr 值; 超出该域的 addr >> frame_shift 说明 raw addr 非法(高位信息会在 as u32 截断中静默丢失并指向错误帧),必须 fail-closed。