Symbol: tpacpi_rfk_ops