Annotation of module parameters that specify device settings