howto get kernel preprocessor output

hi all,

i'm porting the mali driver on the latest linux kernel. but it cannot work. firstly, i thought maybe i should check that the preprocessor output be the same under different linux kernel verison.

as gcc could use the -E options to get the preprocess output. after reading in the Document/kbuild/kbuild.txt, modules.txt. KCPPFLAGS=-E was set in the KDIR/Makefile, but the preprocessors output couldn't get in the *.o.

is that right? or is there any quick way to get the preprocessor output.

thanks a lot.