Hi,
Unfortunately, there is no driver example for the K64 with ADC differential mode. However, you could use the SDK driver example called "adc16_interrupt" and modify it so it can have the differential mode; for that you just have to change the ADC0 channel to the one corresponding to the ADC0_DM0 & ADC0_DP0 (Channel 0):
#define DEMO_ADC16_USER_CHANNEL 0U
Also, as Mark just said in his answer, you also have to set the ADC_SC1A_DIFF; for that, in the same driver example just set to true the "enableDifferentialConversion" from the channel configuration:
#if defined(FSL_FEATURE_ADC16_HAS_DIFF_MODE) && FSL_FEATURE_ADC16_HAS_DIFF_MODE
adc16ChannelConfigStruct.enableDifferentialConversion = true;
#endif
In order to check if this works, check the ADC0_DM0 and ADC0_DP0 from the FRDM-K64:

I hope this information can help you.
Ricardo Delsordo