stdint.h is still needed in the #else case for typedef uint64_t sysreg_t;
Recommending to move the #include <stdint.h> above the #if ENABLE_FEAT_D128 so it applies to both cases.
Description
Description
stdint.h is still needed in the #else case for typedef uint64_t sysreg_t;
Recommending to move the #include <stdint.h> above the #if ENABLE_FEAT_D128 so it applies to both cases.