Hello Kris,
They are not contradictory.
"#define ADC_SC1_ADCH0_MASK 0x01U " in the IO_Map.h just some Macros.
The Table9-2 shows how to set ADCH bits when config Input channel.
"if I want to get ADC value of AD0, how can I get it?"
-> I guess you meaning how to select AD0, the answer is
ADC_SC1 = 0x00; ( haven't consider other bits of ADCSC1 Register, only ADCH)
I recommend you refer to the demo code under "Help on Component" of ADC component :

Have a great day,
TIC
-------------------------------------------------------------------------------
Note:
- If this post answers your question, please click the "Mark Correct" button. Thank you!
- We are following threads for 7 weeks after the last post, later replies are ignored
Please open a new thread and refer to the closed one, if you have a related question at a later point in time.
-------------------------------------------------------------------------------