stp4020_chip_socket_disable
void stp4020_chip_socket_disable(pcmcia_chipset_handle_t);
stp4020_chip_socket_disable,