How to set IRremoteInt.h Control Pin

The code below written in IRremoteInt.h sets DIGITAL PIN 13 as its PWM control pin.
How can I modify it to set DIGITAL PIN 10 as its PWM control pin?

#elif defined(IR_USE_TIMER4_HS)

#define TIMER_RESET
#define TIMER_ENABLE_PWM    (TCCR4A |= _BV(COM4A1))
#define TIMER_DISABLE_PWM   (TCCR4A &= ~(_BV(COM4A1)))
#define TIMER_ENABLE_INTR   (TIMSK4 = _BV(TOIE4))
#define TIMER_DISABLE_INTR  (TIMSK4 = 0)
#define TIMER_INTR_NAME     TIMER4_OVF_vect

#define TIMER_CONFIG_KHZ(val) ({ \
 const uint16_t pwmval = SYSCLOCK / 2000 / (val); \
 TCCR4A                = (1<<PWM4A); \
 TCCR4B                = _BV(CS40); \
 TCCR4C                = 0; \
 TCCR4D                = (1<<WGM40); \
 TCCR4E                = 0; \
 TC4H                  = pwmval >> 8; \
 OCR4C                 = pwmval; \
 TC4H                  = (pwmval / 3) >> 8; \
 OCR4A                 = (pwmval / 3) & 255; \
})

Besides, Where can i find the definitions of COM4A1, TOIE4, CS40, WGM40, and PWM4A. I think there must be a default value.

WORKAROUND:

I found that there are some settings of pin already. But we need to slightly modify IRremoteInt.h.

---
#elif defined(__AVR_ATmega32U4__)
    //#define IR_USE_TIMER1   // tx = pin 9
    #define IR_USE_TIMER3   // tx = pin 5
    //#define IR_USE_TIMER4_HS  // tx = pin 13
---
---
#if defined(CORE_OC3A_PIN)
#   define TIMER_PWM_PIN  CORE_OC3A_PIN  // Teensy
#elif defined(__AVR_ATmega1280__) || defined(__AVR_ATmega2560__)
#   define TIMER_PWM_PIN  5              // Arduino Mega
#else
#   define TIMER_PWM_PIN  5 
#endif
---

I want to achieve freely assigning IR sned pin number in the sketch. There is more work to do.