Constant devices::pl030::RTCEOI

source ยท 
const RTCEOI: u64 = 0x8;