get_config_id(3) - Linux man page
Name
get_config_id - Retrieves a driver ID from a configuration file. Allegro game programming library.Synopsis
#include <allegro.h>int get_config_id(const char *section, const char *name, int def);
int get_config_id(const char *section, const char *name, int def);