// Note: Cards could be unplugged and replugged between this call and
// actually opening the card (in configure_card()).
- static int num_cards();
+ static unsigned num_cards();
std::map<uint32_t, VideoMode> get_available_video_modes() const override;
uint32_t get_current_video_mode() const override;