reserved identifier violation

[elfring]

I would like to point out that identifiers like "_PLATSUPPORT_CLOCK_H_" and "__PLATSUPPORT_IO_H__" do not fit to the expected naming convention of the C language standard.
Would you like to adjust your selection for unique names?

[Smattr]

Again, sorry for the late response.

As for seL4/camkes#1, these identifiers are being used as header include guards and never as actual C symbols. I have no objection to refactoring the code to remove this, but I also don't see an issue with the symbols as they are currently.