Constant seL4_VCPUReg_DACR 

pub const seL4_VCPUReg_DACR: Type = 5;