2 * Driver for Digigram VX soundcards
6 * Copyright (c) 2002 by Takashi Iwai <tiwai@suse.de>
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with this program; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
23 #include <sound/driver.h>
24 #include <linux/delay.h>
25 #include <linux/slab.h>
26 #include <linux/interrupt.h>
27 #include <linux/init.h>
28 #include <linux/device.h>
29 #include <linux/firmware.h>
30 #include <sound/core.h>
31 #include <sound/pcm.h>
32 #include <sound/asoundef.h>
33 #include <sound/info.h>
35 #include <sound/vx_core.h>
38 MODULE_AUTHOR("Takashi Iwai <tiwai@suse.de>");
39 MODULE_DESCRIPTION("Common routines for Digigram VX drivers");
40 MODULE_LICENSE("GPL");
44 * vx_check_reg_bit - wait for the specified bit is set/reset on a register
45 * @reg: register to check
47 * @bit: resultant bit to be checked
48 * @time: time-out of loop in msec
50 * returns zero if a bit matches, or a negative error code.
52 int snd_vx_check_reg_bit(struct vx_core *chip, int reg, int mask, int bit, int time)
54 unsigned long end_time = jiffies + (time * HZ + 999) / 1000;
55 #ifdef CONFIG_SND_DEBUG
56 static char *reg_names[VX_REG_MAX] = {
57 "ICR", "CVR", "ISR", "IVR", "RXH", "RXM", "RXL",
58 "DMA", "CDSP", "RFREQ", "RUER/V2", "DATA", "MEMIRQ",
59 "ACQ", "BIT0", "BIT1", "MIC0", "MIC1", "MIC2",
60 "MIC3", "INTCSR", "CNTRL", "GPIOC",
61 "LOFREQ", "HIFREQ", "CSUER", "RUER"
65 if ((snd_vx_inb(chip, reg) & mask) == bit)
68 } while (time_after_eq(end_time, jiffies));
69 snd_printd(KERN_DEBUG "vx_check_reg_bit: timeout, reg=%s, mask=0x%x, val=0x%x\n", reg_names[reg], mask, snd_vx_inb(chip, reg));
73 EXPORT_SYMBOL(snd_vx_check_reg_bit);
76 * vx_send_irq_dsp - set command irq bit
77 * @num: the requested IRQ type, IRQ_XXX
79 * this triggers the specified IRQ request
80 * returns 0 if successful, or a negative error code.
83 static int vx_send_irq_dsp(struct vx_core *chip, int num)
88 if (snd_vx_check_reg_bit(chip, VX_CVR, CVR_HC, 0, 200) < 0)
92 if (vx_has_new_dsp(chip))
93 nirq += VXP_IRQ_OFFSET;
94 vx_outb(chip, CVR, (nirq >> 1) | CVR_HC);
100 * vx_reset_chk - reset CHK bit on ISR
102 * returns 0 if successful, or a negative error code.
104 static int vx_reset_chk(struct vx_core *chip)
107 if (vx_send_irq_dsp(chip, IRQ_RESET_CHK) < 0)
109 /* Wait until CHK = 0 */
110 if (vx_check_isr(chip, ISR_CHK, 0, 200) < 0)
116 * vx_transfer_end - terminate message transfer
117 * @cmd: IRQ message to send (IRQ_MESS_XXX_END)
119 * returns 0 if successful, or a negative error code.
120 * the error code can be VX-specific, retrieved via vx_get_error().
121 * NB: call with spinlock held!
123 static int vx_transfer_end(struct vx_core *chip, int cmd)
127 if ((err = vx_reset_chk(chip)) < 0)
130 /* irq MESS_READ/WRITE_END */
131 if ((err = vx_send_irq_dsp(chip, cmd)) < 0)
135 if ((err = vx_wait_isr_bit(chip, ISR_CHK)) < 0)
138 /* If error, Read RX */
139 if ((err = vx_inb(chip, ISR)) & ISR_ERR) {
140 if ((err = vx_wait_for_rx_full(chip)) < 0) {
141 snd_printd(KERN_DEBUG "transfer_end: error in rx_full\n");
144 err = vx_inb(chip, RXH) << 16;
145 err |= vx_inb(chip, RXM) << 8;
146 err |= vx_inb(chip, RXL);
147 snd_printd(KERN_DEBUG "transfer_end: error = 0x%x\n", err);
148 return -(VX_ERR_MASK | err);
154 * vx_read_status - return the status rmh
155 * @rmh: rmh record to store the status
157 * returns 0 if successful, or a negative error code.
158 * the error code can be VX-specific, retrieved via vx_get_error().
159 * NB: call with spinlock held!
161 static int vx_read_status(struct vx_core *chip, struct vx_rmh *rmh)
163 int i, err, val, size;
165 /* no read necessary? */
166 if (rmh->DspStat == RMH_SSIZE_FIXED && rmh->LgStat == 0)
169 /* Wait for RX full (with timeout protection)
170 * The first word of status is in RX
172 err = vx_wait_for_rx_full(chip);
177 val = vx_inb(chip, RXH) << 16;
178 val |= vx_inb(chip, RXM) << 8;
179 val |= vx_inb(chip, RXL);
181 /* If status given by DSP, let's decode its size */
182 switch (rmh->DspStat) {
185 rmh->Stat[0] = val & 0xffff00;
186 rmh->LgStat = size + 1;
189 /* Let's count the arg numbers from a mask */
197 rmh->LgStat = size + 1;
200 /* else retrieve the status length given by the driver */
202 rmh->Stat[0] = val; /* Val is the status 1st word */
203 size--; /* hence adjust remaining length */
209 snd_assert(size <= SIZE_MAX_STATUS, return -EINVAL);
211 for (i = 1; i <= size; i++) {
212 /* trigger an irq MESS_WRITE_NEXT */
213 err = vx_send_irq_dsp(chip, IRQ_MESS_WRITE_NEXT);
216 /* Wait for RX full (with timeout protection) */
217 err = vx_wait_for_rx_full(chip);
220 rmh->Stat[i] = vx_inb(chip, RXH) << 16;
221 rmh->Stat[i] |= vx_inb(chip, RXM) << 8;
222 rmh->Stat[i] |= vx_inb(chip, RXL);
225 return vx_transfer_end(chip, IRQ_MESS_WRITE_END);
229 #define MASK_MORE_THAN_1_WORD_COMMAND 0x00008000
230 #define MASK_1_WORD_COMMAND 0x00ff7fff
233 * vx_send_msg_nolock - send a DSP message and read back the status
234 * @rmh: the rmh record to send and receive
236 * returns 0 if successful, or a negative error code.
237 * the error code can be VX-specific, retrieved via vx_get_error().
239 * this function doesn't call spinlock at all.
241 int vx_send_msg_nolock(struct vx_core *chip, struct vx_rmh *rmh)
245 if (chip->chip_status & VX_STAT_IS_STALE)
248 if ((err = vx_reset_chk(chip)) < 0) {
249 snd_printd(KERN_DEBUG "vx_send_msg: vx_reset_chk error\n");
254 printk(KERN_DEBUG "rmh: cmd = 0x%06x, length = %d, stype = %d\n",
255 rmh->Cmd[0], rmh->LgCmd, rmh->DspStat);
256 if (rmh->LgCmd > 1) {
257 printk(KERN_DEBUG " ");
258 for (i = 1; i < rmh->LgCmd; i++)
259 printk("0x%06x ", rmh->Cmd[i]);
263 /* Check bit M is set according to length of the command */
265 rmh->Cmd[0] |= MASK_MORE_THAN_1_WORD_COMMAND;
267 rmh->Cmd[0] &= MASK_1_WORD_COMMAND;
269 /* Wait for TX empty */
270 if ((err = vx_wait_isr_bit(chip, ISR_TX_EMPTY)) < 0) {
271 snd_printd(KERN_DEBUG "vx_send_msg: wait tx empty error\n");
276 vx_outb(chip, TXH, (rmh->Cmd[0] >> 16) & 0xff);
277 vx_outb(chip, TXM, (rmh->Cmd[0] >> 8) & 0xff);
278 vx_outb(chip, TXL, rmh->Cmd[0] & 0xff);
280 /* Trigger irq MESSAGE */
281 if ((err = vx_send_irq_dsp(chip, IRQ_MESSAGE)) < 0) {
282 snd_printd(KERN_DEBUG "vx_send_msg: send IRQ_MESSAGE error\n");
286 /* Wait for CHK = 1 */
287 if ((err = vx_wait_isr_bit(chip, ISR_CHK)) < 0)
290 /* If error, get error value from RX */
291 if (vx_inb(chip, ISR) & ISR_ERR) {
292 if ((err = vx_wait_for_rx_full(chip)) < 0) {
293 snd_printd(KERN_DEBUG "vx_send_msg: rx_full read error\n");
296 err = vx_inb(chip, RXH) << 16;
297 err |= vx_inb(chip, RXM) << 8;
298 err |= vx_inb(chip, RXL);
299 snd_printd(KERN_DEBUG "msg got error = 0x%x at cmd[0]\n", err);
300 err = -(VX_ERR_MASK | err);
304 /* Send the other words */
305 if (rmh->LgCmd > 1) {
306 for (i = 1; i < rmh->LgCmd; i++) {
307 /* Wait for TX ready */
308 if ((err = vx_wait_isr_bit(chip, ISR_TX_READY)) < 0) {
309 snd_printd(KERN_DEBUG "vx_send_msg: tx_ready error\n");
314 vx_outb(chip, TXH, (rmh->Cmd[i] >> 16) & 0xff);
315 vx_outb(chip, TXM, (rmh->Cmd[i] >> 8) & 0xff);
316 vx_outb(chip, TXL, rmh->Cmd[i] & 0xff);
318 /* Trigger irq MESS_READ_NEXT */
319 if ((err = vx_send_irq_dsp(chip, IRQ_MESS_READ_NEXT)) < 0) {
320 snd_printd(KERN_DEBUG "vx_send_msg: IRQ_READ_NEXT error\n");
324 /* Wait for TX empty */
325 if ((err = vx_wait_isr_bit(chip, ISR_TX_READY)) < 0) {
326 snd_printd(KERN_DEBUG "vx_send_msg: TX_READY error\n");
329 /* End of transfer */
330 err = vx_transfer_end(chip, IRQ_MESS_READ_END);
335 return vx_read_status(chip, rmh);
340 * vx_send_msg - send a DSP message with spinlock
341 * @rmh: the rmh record to send and receive
343 * returns 0 if successful, or a negative error code.
344 * see vx_send_msg_nolock().
346 int vx_send_msg(struct vx_core *chip, struct vx_rmh *rmh)
351 spin_lock_irqsave(&chip->lock, flags);
352 err = vx_send_msg_nolock(chip, rmh);
353 spin_unlock_irqrestore(&chip->lock, flags);
359 * vx_send_rih_nolock - send an RIH to xilinx
360 * @cmd: the command to send
362 * returns 0 if successful, or a negative error code.
363 * the error code can be VX-specific, retrieved via vx_get_error().
365 * this function doesn't call spinlock at all.
367 * unlike RMH, no command is sent to DSP.
369 int vx_send_rih_nolock(struct vx_core *chip, int cmd)
373 if (chip->chip_status & VX_STAT_IS_STALE)
377 printk(KERN_DEBUG "send_rih: cmd = 0x%x\n", cmd);
379 if ((err = vx_reset_chk(chip)) < 0)
382 if ((err = vx_send_irq_dsp(chip, cmd)) < 0)
385 if ((err = vx_wait_isr_bit(chip, ISR_CHK)) < 0)
387 /* If error, read RX */
388 if (vx_inb(chip, ISR) & ISR_ERR) {
389 if ((err = vx_wait_for_rx_full(chip)) < 0)
391 err = vx_inb(chip, RXH) << 16;
392 err |= vx_inb(chip, RXM) << 8;
393 err |= vx_inb(chip, RXL);
394 return -(VX_ERR_MASK | err);
401 * vx_send_rih - send an RIH with spinlock
402 * @cmd: the command to send
404 * see vx_send_rih_nolock().
406 int vx_send_rih(struct vx_core *chip, int cmd)
411 spin_lock_irqsave(&chip->lock, flags);
412 err = vx_send_rih_nolock(chip, cmd);
413 spin_unlock_irqrestore(&chip->lock, flags);
417 #define END_OF_RESET_WAIT_TIME 500 /* us */
420 * snd_vx_boot_xilinx - boot up the xilinx interface
421 * @boot: the boot record to load
423 int snd_vx_load_boot_image(struct vx_core *chip, const struct firmware *boot)
426 int no_fillup = vx_has_new_dsp(chip);
428 /* check the length of boot image */
429 snd_assert(boot->size > 0, return -EINVAL);
430 snd_assert(boot->size % 3 == 0, return -EINVAL);
433 /* more strict check */
434 unsigned int c = ((u32)boot->data[0] << 16) | ((u32)boot->data[1] << 8) | boot->data[2];
435 snd_assert(boot->size == (c + 2) * 3, return -EINVAL);
442 udelay(END_OF_RESET_WAIT_TIME); /* another wait? */
444 /* download boot strap */
445 for (i = 0; i < 0x600; i += 3) {
446 if (i >= boot->size) {
449 if (vx_wait_isr_bit(chip, ISR_TX_EMPTY) < 0) {
450 snd_printk(KERN_ERR "dsp boot failed at %d\n", i);
453 vx_outb(chip, TXH, 0);
454 vx_outb(chip, TXM, 0);
455 vx_outb(chip, TXL, 0);
457 unsigned char *image = boot->data + i;
458 if (vx_wait_isr_bit(chip, ISR_TX_EMPTY) < 0) {
459 snd_printk(KERN_ERR "dsp boot failed at %d\n", i);
462 vx_outb(chip, TXH, image[0]);
463 vx_outb(chip, TXM, image[1]);
464 vx_outb(chip, TXL, image[2]);
470 EXPORT_SYMBOL(snd_vx_load_boot_image);
473 * vx_test_irq_src - query the source of interrupts
475 * called from irq handler only
477 static int vx_test_irq_src(struct vx_core *chip, unsigned int *ret)
481 vx_init_rmh(&chip->irq_rmh, CMD_TEST_IT);
482 spin_lock(&chip->lock);
483 err = vx_send_msg_nolock(chip, &chip->irq_rmh);
487 *ret = chip->irq_rmh.Stat[0];
488 spin_unlock(&chip->lock);
494 * vx_interrupt - soft irq handler
496 static void vx_interrupt(unsigned long private_data)
498 struct vx_core *chip = (struct vx_core *) private_data;
501 if (chip->chip_status & VX_STAT_IS_STALE)
504 if (vx_test_irq_src(chip, &events) < 0)
508 if (events & 0x000800)
509 printk(KERN_ERR "DSP Stream underrun ! IRQ events = 0x%x\n", events);
511 // printk(KERN_DEBUG "IRQ events = 0x%x\n", events);
513 /* We must prevent any application using this DSP
514 * and block any further request until the application
515 * either unregisters or reloads the DSP
517 if (events & FATAL_DSP_ERROR) {
518 snd_printk(KERN_ERR "vx_core: fatal DSP error!!\n");
522 /* The start on time code conditions are filled (ie the time code
523 * received by the board is equal to one of those given to it).
525 if (events & TIME_CODE_EVENT_PENDING)
526 ; /* so far, nothing to do yet */
528 /* The frequency has changed on the board (UER mode). */
529 if (events & FREQUENCY_CHANGE_EVENT_PENDING)
530 vx_change_frequency(chip);
532 /* update the pcm streams */
533 vx_pcm_update_intr(chip, events);
538 * snd_vx_irq_handler - interrupt handler
540 irqreturn_t snd_vx_irq_handler(int irq, void *dev, struct pt_regs *regs)
542 struct vx_core *chip = dev;
544 if (! (chip->chip_status & VX_STAT_CHIP_INIT) ||
545 (chip->chip_status & VX_STAT_IS_STALE))
547 if (! vx_test_and_ack(chip))
548 tasklet_hi_schedule(&chip->tq);
552 EXPORT_SYMBOL(snd_vx_irq_handler);
556 static void vx_reset_board(struct vx_core *chip, int cold_reset)
558 snd_assert(chip->ops->reset_board, return);
560 /* current source, later sync'ed with target */
561 chip->audio_source = VX_AUDIO_SRC_LINE;
563 chip->audio_source_target = chip->audio_source;
564 chip->clock_source = INTERNAL_QUARTZ;
565 chip->clock_mode = VX_CLOCK_MODE_AUTO;
567 chip->uer_detected = VX_UER_MODE_NOT_PRESENT;
568 chip->uer_bits = SNDRV_PCM_DEFAULT_CON_SPDIF;
571 chip->ops->reset_board(chip, cold_reset);
573 vx_reset_codec(chip, cold_reset);
575 vx_set_internal_clock(chip, chip->freq);
580 if (vx_is_pcmcia(chip)) {
581 /* Acknowledge any pending IRQ and reset the MEMIRQ flag. */
582 vx_test_and_ack(chip);
583 vx_validate_irq(chip, 1);
587 vx_set_iec958_status(chip, chip->uer_bits);
595 static void vx_proc_read(struct snd_info_entry *entry, struct snd_info_buffer *buffer)
597 struct vx_core *chip = entry->private_data;
598 static char *audio_src_vxp[] = { "Line", "Mic", "Digital" };
599 static char *audio_src_vx2[] = { "Analog", "Analog", "Digital" };
600 static char *clock_mode[] = { "Auto", "Internal", "External" };
601 static char *clock_src[] = { "Internal", "External" };
602 static char *uer_type[] = { "Consumer", "Professional", "Not Present" };
604 snd_iprintf(buffer, "%s\n", chip->card->longname);
605 snd_iprintf(buffer, "Xilinx Firmware: %s\n",
606 chip->chip_status & VX_STAT_XILINX_LOADED ? "Loaded" : "No");
607 snd_iprintf(buffer, "Device Initialized: %s\n",
608 chip->chip_status & VX_STAT_DEVICE_INIT ? "Yes" : "No");
609 snd_iprintf(buffer, "DSP audio info:");
610 if (chip->audio_info & VX_AUDIO_INFO_REAL_TIME)
611 snd_iprintf(buffer, " realtime");
612 if (chip->audio_info & VX_AUDIO_INFO_OFFLINE)
613 snd_iprintf(buffer, " offline");
614 if (chip->audio_info & VX_AUDIO_INFO_MPEG1)
615 snd_iprintf(buffer, " mpeg1");
616 if (chip->audio_info & VX_AUDIO_INFO_MPEG2)
617 snd_iprintf(buffer, " mpeg2");
618 if (chip->audio_info & VX_AUDIO_INFO_LINEAR_8)
619 snd_iprintf(buffer, " linear8");
620 if (chip->audio_info & VX_AUDIO_INFO_LINEAR_16)
621 snd_iprintf(buffer, " linear16");
622 if (chip->audio_info & VX_AUDIO_INFO_LINEAR_24)
623 snd_iprintf(buffer, " linear24");
624 snd_iprintf(buffer, "\n");
625 snd_iprintf(buffer, "Input Source: %s\n", vx_is_pcmcia(chip) ?
626 audio_src_vxp[chip->audio_source] :
627 audio_src_vx2[chip->audio_source]);
628 snd_iprintf(buffer, "Clock Mode: %s\n", clock_mode[chip->clock_mode]);
629 snd_iprintf(buffer, "Clock Source: %s\n", clock_src[chip->clock_source]);
630 snd_iprintf(buffer, "Frequency: %d\n", chip->freq);
631 snd_iprintf(buffer, "Detected Frequency: %d\n", chip->freq_detected);
632 snd_iprintf(buffer, "Detected UER type: %s\n", uer_type[chip->uer_detected]);
633 snd_iprintf(buffer, "Min/Max/Cur IBL: %d/%d/%d (granularity=%d)\n",
634 chip->ibl.min_size, chip->ibl.max_size, chip->ibl.size,
635 chip->ibl.granularity);
638 static void vx_proc_init(struct vx_core *chip)
640 struct snd_info_entry *entry;
642 if (! snd_card_proc_new(chip->card, "vx-status", &entry))
643 snd_info_set_text_ops(entry, chip, 1024, vx_proc_read);
648 * snd_vx_dsp_boot - load the DSP boot
650 int snd_vx_dsp_boot(struct vx_core *chip, const struct firmware *boot)
653 int cold_reset = !(chip->chip_status & VX_STAT_DEVICE_INIT);
655 vx_reset_board(chip, cold_reset);
656 vx_validate_irq(chip, 0);
658 if ((err = snd_vx_load_boot_image(chip, boot)) < 0)
665 EXPORT_SYMBOL(snd_vx_dsp_boot);
668 * snd_vx_dsp_load - load the DSP image
670 int snd_vx_dsp_load(struct vx_core *chip, const struct firmware *dsp)
674 unsigned int csum = 0;
675 unsigned char *image, *cptr;
677 snd_assert(dsp->size % 3 == 0, return -EINVAL);
679 vx_toggle_dac_mute(chip, 1);
681 /* Transfert data buffer from PC to DSP */
682 for (i = 0; i < dsp->size; i += 3) {
683 image = dsp->data + i;
684 /* Wait DSP ready for a new read */
685 if ((err = vx_wait_isr_bit(chip, ISR_TX_EMPTY)) < 0) {
686 printk("dsp loading error at position %d\n", i);
691 csum = (csum >> 24) | (csum << 8);
692 vx_outb(chip, TXH, *cptr++);
694 csum = (csum >> 24) | (csum << 8);
695 vx_outb(chip, TXM, *cptr++);
697 csum = (csum >> 24) | (csum << 8);
698 vx_outb(chip, TXL, *cptr++);
700 snd_printdd(KERN_DEBUG "checksum = 0x%08x\n", csum);
704 if ((err = vx_wait_isr_bit(chip, ISR_CHK)) < 0)
707 vx_toggle_dac_mute(chip, 0);
709 vx_test_and_ack(chip);
710 vx_validate_irq(chip, 1);
715 EXPORT_SYMBOL(snd_vx_dsp_load);
721 int snd_vx_suspend(struct vx_core *chip, pm_message_t state)
725 snd_power_change_state(chip->card, SNDRV_CTL_POWER_D3hot);
726 chip->chip_status |= VX_STAT_IN_SUSPEND;
727 for (i = 0; i < chip->hw->num_codecs; i++)
728 snd_pcm_suspend_all(chip->pcm[i]);
733 EXPORT_SYMBOL(snd_vx_suspend);
738 int snd_vx_resume(struct vx_core *chip)
742 chip->chip_status &= ~VX_STAT_CHIP_INIT;
744 for (i = 0; i < 4; i++) {
745 if (! chip->firmware[i])
747 err = chip->ops->load_dsp(chip, i, chip->firmware[i]);
749 snd_printk(KERN_ERR "vx: firmware resume error at DSP %d\n", i);
754 chip->chip_status |= VX_STAT_CHIP_INIT;
755 chip->chip_status &= ~VX_STAT_IN_SUSPEND;
757 snd_power_change_state(chip->card, SNDRV_CTL_POWER_D0);
761 EXPORT_SYMBOL(snd_vx_resume);
765 * snd_vx_create - constructor for struct vx_core
766 * @hw: hardware specific record
768 * this function allocates the instance and prepare for the hardware
771 * return the instance pointer if successful, NULL in error.
773 struct vx_core *snd_vx_create(struct snd_card *card, struct snd_vx_hardware *hw,
774 struct snd_vx_ops *ops,
777 struct vx_core *chip;
779 snd_assert(card && hw && ops, return NULL);
781 chip = kzalloc(sizeof(*chip) + extra_size, GFP_KERNEL);
783 snd_printk(KERN_ERR "vx_core: no memory\n");
786 spin_lock_init(&chip->lock);
787 spin_lock_init(&chip->irq_lock);
790 chip->type = hw->type;
792 tasklet_init(&chip->tq, vx_interrupt, (unsigned long)chip);
793 mutex_init(&chip->mixer_mutex);
796 card->private_data = chip;
797 strcpy(card->driver, hw->name);
798 sprintf(card->shortname, "Digigram %s", hw->name);
805 EXPORT_SYMBOL(snd_vx_create);
810 static int __init alsa_vx_core_init(void)
815 static void __exit alsa_vx_core_exit(void)
819 module_init(alsa_vx_core_init)
820 module_exit(alsa_vx_core_exit)