diff options
| -rw-r--r-- | board/ambassador/board.h | 3 | ||||
| -rw-r--r-- | board/baklava/board.h | 3 | ||||
| -rw-r--r-- | board/brask/board.h | 3 | ||||
| -rw-r--r-- | board/chocodile_vpdmcu/board.h | 3 | ||||
| -rw-r--r-- | board/gingerbread/board.h | 3 | ||||
| -rw-r--r-- | board/puff/board.h | 3 | ||||
| -rw-r--r-- | board/quiche/board.h | 3 |
7 files changed, 21 insertions, 0 deletions
diff --git a/board/ambassador/board.h b/board/ambassador/board.h index 6e90e5521c..de918b35ac 100644 --- a/board/ambassador/board.h +++ b/board/ambassador/board.h @@ -177,6 +177,9 @@ #define PP5000_PGOOD_POWER_SIGNAL_MASK POWER_SIGNAL_MASK(PP5000_A_PGOOD) +/* Include math_util for bitmask_uint64 used in pd_timers */ +#define CONFIG_MATH_UTIL + #ifndef __ASSEMBLER__ #include "gpio_signal.h" diff --git a/board/baklava/board.h b/board/baklava/board.h index 5ae2cea560..e061d2342d 100644 --- a/board/baklava/board.h +++ b/board/baklava/board.h @@ -49,6 +49,9 @@ #define I2C_PORT_EEPROM I2C_PORT_I2C3 #define MP4245_I2C_ADDR_FLAGS MP4245_I2C_ADDR_0_FLAGS +/* Include math_util for bitmask_uint64 used in pd_timers */ +#define CONFIG_MATH_UTIL + #ifndef __ASSEMBLER__ #include "registers.h" diff --git a/board/brask/board.h b/board/brask/board.h index 52d56a9201..0d92b2c07f 100644 --- a/board/brask/board.h +++ b/board/brask/board.h @@ -145,6 +145,9 @@ */ /* #define CONFIG_FANS FAN_CH_COUNT */ +/* Include math_util for bitmask_uint64 used in pd_timers */ +#define CONFIG_MATH_UTIL + #ifndef __ASSEMBLER__ #include "gpio_signal.h" /* needed by registers.h */ diff --git a/board/chocodile_vpdmcu/board.h b/board/chocodile_vpdmcu/board.h index 541dae7a44..552f00aa09 100644 --- a/board/chocodile_vpdmcu/board.h +++ b/board/chocodile_vpdmcu/board.h @@ -118,6 +118,9 @@ #undef CONFIG_FW_PSTATE_SIZE #define CONFIG_FW_PSTATE_SIZE 0 +/* Include math_util for bitmask_uint64 used in pd_timers */ +#define CONFIG_MATH_UTIL + #ifndef __ASSEMBLER__ /* Timer selection */ diff --git a/board/gingerbread/board.h b/board/gingerbread/board.h index cf447db7ff..cfc5bbf0a0 100644 --- a/board/gingerbread/board.h +++ b/board/gingerbread/board.h @@ -62,6 +62,9 @@ #define GPIO_WP_L GPIO_EC_WP_L #define GPIO_WP GPIO_EC_WP_L +/* Include math_util for bitmask_uint64 used in pd_timers */ +#define CONFIG_MATH_UTIL + #ifndef __ASSEMBLER__ #include "registers.h" diff --git a/board/puff/board.h b/board/puff/board.h index cb22f710d8..fedba00f7a 100644 --- a/board/puff/board.h +++ b/board/puff/board.h @@ -177,6 +177,9 @@ #define PP5000_PGOOD_POWER_SIGNAL_MASK POWER_SIGNAL_MASK(PP5000_A_PGOOD) +/* Include math_util for bitmask_uint64 used in pd_timers */ +#define CONFIG_MATH_UTIL + #ifndef __ASSEMBLER__ #include "gpio_signal.h" diff --git a/board/quiche/board.h b/board/quiche/board.h index ad8c70271d..98feab31f6 100644 --- a/board/quiche/board.h +++ b/board/quiche/board.h @@ -50,6 +50,9 @@ #define I2C_PORT_EEPROM I2C_PORT_I2C3 #define MP4245_I2C_ADDR_FLAGS MP4245_I2C_ADDR_0_FLAGS +/* Include math_util for bitmask_uint64 used in pd_timers */ +#define CONFIG_MATH_UTIL + #ifndef __ASSEMBLER__ #include "registers.h" |