Constant GIC_SGI_FRAME_SIZE 

pub const GIC_SGI_FRAME_SIZE: u64 = 0x1_0000;