int ps3_free_vuart_irq(unsigned int virq) { int result; result = lv1_deconfigure_virtual_uart_irq(); if (result) { pr_debug("%s:%d: lv1_configure_virtual_uart_irq failed: %s\n", __func__, __LINE__, ps3_result(result)); return result; } irq_dispose_mapping(virq); return result; }
int ps3_vuart_irq_destroy(unsigned int virq) { int result; result = lv1_deconfigure_virtual_uart_irq(); if (result) { pr_debug("%s:%d: lv1_configure_virtual_uart_irq failed: %s\n", __func__, __LINE__, ps3_result(result)); return result; } result = ps3_irq_plug_destroy(virq); BUG_ON(result); return result; }