Constant CONFIG_ARCH_DEVICE_STATE_ALIGN 

pub const CONFIG_ARCH_DEVICE_STATE_ALIGN: isize = 4;