summaryrefslogtreecommitdiff
path: root/src/include
diff options
context:
space:
mode:
Diffstat (limited to 'src/include')
-rw-r--r--src/include/cpu/amd/model_fxx_rev.h6
-rw-r--r--src/include/device/pci.h3
-rw-r--r--src/include/pc80/mc146818rtc.h6
-rw-r--r--src/include/string.h6
4 files changed, 7 insertions, 14 deletions
diff --git a/src/include/cpu/amd/model_fxx_rev.h b/src/include/cpu/amd/model_fxx_rev.h
index e34b4ed649..210a65227e 100644
--- a/src/include/cpu/amd/model_fxx_rev.h
+++ b/src/include/cpu/amd/model_fxx_rev.h
@@ -74,9 +74,8 @@ static inline int is_e0_later_in_bsp(int nodeid)
return 1;
// we don't need to do that for node 0 in core0/node0
- if (nodeid == 0) {
+ if (nodeid == 0)
return !is_cpu_pre_e0();
- }
// d0 will be treated as e0 with this methods, but the d0 nb_cfg_54 always 0
pci_devfn_t dev;
@@ -89,9 +88,8 @@ static inline int is_e0_later_in_bsp(int nodeid)
e0_later = !!(val & (1<<3));
// pre_e0 bit 3 always be 0 and can not be changed
- if (e0_later) {
+ if (e0_later)
pci_write_config32(dev, 0x80, val_old); // restore it
- }
return e0_later;
}
diff --git a/src/include/device/pci.h b/src/include/device/pci.h
index 13d63d4f6c..e18a09afe0 100644
--- a/src/include/device/pci.h
+++ b/src/include/device/pci.h
@@ -103,9 +103,8 @@ static inline const struct pci_operations *ops_pci(device_t dev)
{
const struct pci_operations *pops;
pops = 0;
- if (dev && dev->ops) {
+ if (dev && dev->ops)
pops = dev->ops->ops_pci;
- }
return pops;
}
diff --git a/src/include/pc80/mc146818rtc.h b/src/include/pc80/mc146818rtc.h
index 39f58d6015..be90358b05 100644
--- a/src/include/pc80/mc146818rtc.h
+++ b/src/include/pc80/mc146818rtc.h
@@ -140,14 +140,12 @@ static inline void cmos_write(unsigned char val, unsigned char addr)
* eg. the Century / AltCentury byte. So to be safe, disable
* RTC before changing any value.
*/
- if ((addr != RTC_CONTROL) && !(control_state & RTC_SET)) {
+ if ((addr != RTC_CONTROL) && !(control_state & RTC_SET))
cmos_write_inner(control_state | RTC_SET, RTC_CONTROL);
- }
cmos_write_inner(val, addr);
/* reset to prior configuration */
- if ((addr != RTC_CONTROL) && !(control_state & RTC_SET)) {
+ if ((addr != RTC_CONTROL) && !(control_state & RTC_SET))
cmos_write_inner(control_state, RTC_CONTROL);
- }
}
static inline void cmos_disable_rtc(void)
diff --git a/src/include/string.h b/src/include/string.h
index f2777a9e49..d547e49fff 100644
--- a/src/include/string.h
+++ b/src/include/string.h
@@ -24,18 +24,16 @@ int snprintf(char * buf, size_t size, const char *fmt, ...);
static inline size_t strnlen(const char *src, size_t max)
{
size_t i = 0;
- while ((*src++) && (i < max)) {
+ while ((*src++) && (i < max))
i++;
- }
return i;
}
static inline size_t strlen(const char *src)
{
size_t i = 0;
- while (*src++) {
+ while (*src++)
i++;
- }
return i;
}