Raspberry Pi audio output

[Milan Obuch]

Hello,

there is pcm0 device on Raspberry Pi, sysctl dev.pcm shows

dev.pcm.%parent: 
dev.pcm.0.%desc: VCHQI audio
dev.pcm.0.%driver: pcm
dev.pcm.0.%location: 
dev.pcm.0.%pnpinfo: 
dev.pcm.0.%parent: vchiq0
dev.pcm.0.play.vchans: 1
dev.pcm.0.play.vchanmode: fixed
dev.pcm.0.play.vchanrate: 48000
dev.pcm.0.play.vchanformat: s16le:2.0
dev.pcm.0.buffersize: 0
dev.pcm.0.bitperfect: 0
dev.pcm.0.dest: 0

In /dev directory, there are just midistat and sndstat devices,
cat /dev/sndstat shows

Installed devices:
pcm0: <VCHQI audio> (play) default

How can I use this device? I would like to check it and possibly use...
Also, is it connected to 3.5 mm jack or do we have sound through HDMI?

Regards,
Milan