def vhdl_register_address(name, address_offset):
    """
    Return a string with a VHDL constant declaration of the supplied
    register.
    """
    return "constant {} : integer := {};\n".format(name, address_offset)