Can't use pin ADC1_DM1 on NXP FRDM-K64F

Electronics and hardware Boards
,
1

Hello,

I can’t use pin ADC1_DM1 on my K64F. When I try to use it in a code the compiler says Error: Use of undeclared identifier 'ADC1_DM1'. The pin is listed on the header pinout: https://os.mbed.com/media/uploads/wsr06596/frdm_k64f_reve4_header_pinout.jpg. However I couldn’t find it in PinNames.h and in PeripheralNames.h.
Can I somehow modify that file and recompile Mbed OS or what should I do?

Thanks for your help