As far as I can see, in DarkGDK (version 1) there is only a single dbInput() function. It takes no parameters and returns a char*.
If you want to take integer input you'll have to convert that string representation to a number. This is pretty easy with a stringstream:
ss << dbInput();
ss >> myInt;
If you want to print some prompt before the input like the DBP version allows you you can simply call dbPrint directly above your call to dbInput.
"Why do programmers get Halloween and Christmas mixed up?"
Because Oct(31) = Dec(25)