It sounds like you've got 32-bit CardBus slots. Whether or not they're CardBus, you would be able to use a regular PCMCIA card just fine.