int network_card_available(int card) { if (network_cards[card].device) return device_available(network_cards[card].device); return 1; }
int scsi_card_available(int card) { if (scsi_cards[card].device) return(device_available(scsi_cards[card].device)); return(1); }
int sound_card_available(int card) { if (sound_cards[card].device) return device_available(sound_cards[card].device); return 1; }
/* UI */ int network_card_available(int card) { if (net_cards[card].device) return(device_available(net_cards[card].device)); return(1); }
int midi_device_available(int card) { if (devices[card].device) return device_available(devices[card].device); return 1; }