ESP32 TV Remote Control

# SonyTV2 4/30/22 rr
import esp32
from machine import Pin
from time import sleep_ms

r = esp32.RMT(0, pin=Pin(15), clock_div=8, tx_carrier=(38000, 50, 1), idle_level=0)
btpressed = False

def volume_down():  # command code 1100100 interrupt pin 32
  led18.value(1)
  for x in range(1,4):
    r.write_pulses((24000, 6000, 12000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 6000, 6000, 6000, 6000), 1)
    sleep_ms(64)
  led18.value(0)

def mute():  # command code 0010100 interrupt pin 33
  led17.value(1)
  for x in range(1,4):
    r.write_pulses((24000, 6000, 6000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 6000, 6000, 6000, 6000), 1)
    sleep_ms(64)
  led17.value(0)

def volume_up(): # command code 0100100 interrupt pin 34
  led16.value(1)
  for x in range(1,4):
    r.write_pulses((24000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 12000, 6000, 6000, 6000, 6000, 6000, 6000, 6000, 6000, 6000), 1)
    sleep_ms(64)
  led16.value(0)

def handle_interrupt(pin):
  global btpressed
  btpressed = True
  global interrupt_pin
  interrupt_pin = pin

led16 = Pin(16, Pin.OUT) # sending volume up commmand
led17 = Pin(17, Pin.OUT) # sending mute command
led18 = Pin(18, Pin.OUT) # sending volume down command
p32 =   Pin(32, Pin.IN)  # send volume down
p33 =   Pin(33, Pin.IN)  # send mute
p34 =   Pin(34, Pin.IN)  # send volume up

p32.irq(trigger=Pin.IRQ_RISING, handler=handle_interrupt)
p33.irq(trigger=Pin.IRQ_RISING, handler=handle_interrupt)
p34.irq(trigger=Pin.IRQ_RISING, handler=handle_interrupt)

while True:
  if btpressed and interrupt_pin == p32:
    volume_down()
  if btpressed and interrupt_pin == p33:
    mute()
  if btpressed and interrupt_pin == p34:
    volume_up()
  btpressed = False
  sleep_ms(250)