diff options
Diffstat (limited to 'src/mainboard/intel/glkrvp/boardid.c')
-rw-r--r-- | src/mainboard/intel/glkrvp/boardid.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mainboard/intel/glkrvp/boardid.c b/src/mainboard/intel/glkrvp/boardid.c index e53a0a11f7..35dcc4b29d 100644 --- a/src/mainboard/intel/glkrvp/boardid.c +++ b/src/mainboard/intel/glkrvp/boardid.c @@ -12,7 +12,7 @@ uint32_t board_id(void) { - MAYBE_STATIC_NONZERO int id = -1; + static int id = -1; if (id < 0) { if (CONFIG(EC_GOOGLE_CHROMEEC)) id = variant_board_id(); |