We don’t have that specific code example for the MKV4x. However, these modules are initialized used similarly across our Kinetis family of MCUs. So you should be able to port the MK64 “ftm_pdb_adc16” demo app for your specific part number. Also, you can use the code found in sections 4.3 and 4.4 as guide.
Regards,
Edwin.