Constant SD_IO_CCCR_INT_PENDING 

pub const SD_IO_CCCR_INT_PENDING: u32 = 5;