devices::pl030

Constant RTCEOI

Source 
const RTCEOI: u64 = 0x8;