Alter output pin in RadioHead Library

I am trying to attach an RF Transmitter to a ProMicro(see picture). When I use the code below, none of the header pins of the ProMicro are changing voltage on a fixed basis. In other words, it does not appear that the message is reaching any of the output pins of JP6 or JP7 of the ProMicro.

#include <RH_ASK.h>
#include <SPI.h> // Not actually used but needed to compile

RH_ASK driver;

void setup()
{
    Serial.begin(9600);   // Debugging only
    if (!driver.init())
         Serial.println("init failed");
}

void loop()
{
    const char *msg = "Hello World!";
    driver.send((uint8_t *)msg, strlen(msg));
    driver.waitPacketSent();
    delay(1000);
}

I am assuming that this line of code from RadioHeadsets the output pin of the Aduino.

RH_ASK(uint16_t speed = 2000, uint8_t rxPin = 11, uint8_t txPin = 12, uint8_t pttPin = 10, bool pttInverted = false);

If this is the line of code that needs to be altered, what number do I assign to txPin to make one of the ProMicro Pins send the signal to the transmitter?

You can set the pins to be anything you like by calling RH_ASK() appropriately. See the RadioHead documentation.

By default, TX is assigned to Pin 12, which is not brought out on the Pro Micro.

Is the attached picture correct in mapping pin 10 of JP6 on the ProMicro to pin 11 of the ATMEGA32UF?

If so, is pin 11 of ATMEGA32UF also known as GPIO 11?

jremington:
See the RadioHead documentation.

The RadioiHead documentation says

222 /// use constructor arguments to configure different pins, eg:
223 /// \code
224 /// RH_ASK driver(2000, 2, 4, 5);
225 /// \endcode
226 /// Which will initialise the driver at 2000 bps, recieve on GPIO2, transmit on GPIO4, PTT on GPIO5

Does this mean I would put the following line of code in the setup() in the Aduino IDE to make JP6 pin 10 of the ProMicro transmit?

RH_ASK driver(2000, 2, 11, 5);