HELP NEEDED IN USING PPP INTERFACE

[rashmi ns]

 Hello All,
We Want to send traffic IP Traffic to the HDLC DRIVER(written for DS31256)
hdlc driver is using sppp_attatch.
To run pppd what device we need to give in the options file.
 Normally device is set to /dev/cuaa0 for serial com port.
But I am not getting what device we need to set in the /etc/ppp/options file
for hdlc driver.
Or do we have to give the device file created by make_dev() of hdlc driver
   Does sppp.ko creates any device in the /dev directory after sppp_attach?
Thanks In Advance ,
Rashmi