Constant seL4_VCPUReg_AMAIR 

pub const seL4_VCPUReg_AMAIR: Type = 6;