tree 6717d32788e64f6dfa443a8efb9d2aee5e29be0b
parent 442b96c06d60b538b2b1cc14b0141ceb30e6ff78
author Wan-Teh Chang <wtc@google.com> 1680641812 -0700
committer Wan-Teh Chang <wtc@google.com> 1680657082 +0000

aom_timer.h: Don't include aom/aom_integer.h

aom_ports/aom_timer.h includes aom/aom_integer.h for NULL and int64_t.
These are defined in <stddef.h> and <stdint.h>, respectively, so include
those two headers instead. Also only need to include those two headers
in the #if CONFIG_OS_SUPPORT block.

Change-Id: I31bf13c43d7ea54e49bbc32ad3697d9b8d42c9b9