Hi Roy,
First of all, sorry for the later reply.
MK10D7.h provides the same GPIO registers macro definition with MK51D7.h file. They are belong to the same Kinetis 72MHz product, MK51D7.h provides the full modules registers than MK10D7.h file.


You could select to use attached <MK10D7.h> file, which abstracted from CodeWarrior MCU V10.x software.
Wish it helps.
best regards,
Mike