Create ARGB from RGB and alpha

How is it possible to create an ARGB value from an RGB value (ex: 0x00FF00) and an alpha value (ex: 0.5) ?