GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

src/include: Improve code formatting 

Change-Id: Ic8ffd26e61c0c3f27872699bb6aa9c39204155b7
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/16390
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
This commit is contained in:
Elyes HAOUAS 2016-09-01 19:01:41 +02:00 committed by Patrick Georgi
parent a15dde0719
commit 8ffd050cf0
9 changed files with 58 additions and 60 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/include/console/console.h
View File

@ -51,7 +51,7 @@ int do_printk(int msg_level, const char *fmt, ...) __attribute__((format(printf,
void do_putchar(unsigned char byte); void do_putchar(unsigned char byte);
#define printk(LEVEL, fmt, args...) \ #define printk(LEVEL, fmt, args...) \
do { do_printk(LEVEL, fmt, ##args); } while(0) do { do_printk(LEVEL, fmt, ##args); } while (0)
#else #else
static inline void console_init(void) {} static inline void console_init(void) {}

6
src/include/cpu/x86/msr.h
View File

@ -39,8 +39,7 @@ static inline __attribute__((always_inline)) msr_t rdmsr(unsigned index)
return soc_msr_read(index); return soc_msr_read(index);
} }
static inline __attribute__((always_inline)) void wrmsr(unsigned index, static inline __attribute__((always_inline)) void wrmsr(unsigned index, msr_t msr)
msr_t msr)
{ {
soc_msr_write(index, msr); soc_msr_write(index, msr);
} }
@ -67,8 +66,7 @@ static inline __attribute__((always_inline)) msr_t rdmsr(unsigned index)
return result; return result;
} }
static inline __attribute__((always_inline)) void wrmsr(unsigned index, static inline __attribute__((always_inline)) void wrmsr(unsigned index, msr_t msr)
msr_t msr)
{ {
__asm__ __volatile__ ( __asm__ __volatile__ (
"wrmsr" "wrmsr"

2
src/include/reset.h
View File

@ -4,7 +4,7 @@
#if CONFIG_HAVE_HARD_RESET #if CONFIG_HAVE_HARD_RESET
void hard_reset(void); void hard_reset(void);
#else #else
#define hard_reset() do {} while(0) #define hard_reset() do {} while (0)
#endif #endif
void soft_reset(void); void soft_reset(void);
void cpu_reset(void); void cpu_reset(void);

10
src/include/smp/spinlock.h
View File

@ -6,12 +6,12 @@
#else /* !CONFIG_SMP */ #else /* !CONFIG_SMP */
#define DECLARE_SPIN_LOCK(x) #define DECLARE_SPIN_LOCK(x)
#define barrier() do {} while(0) #define barrier() do {} while (0)
#define spin_is_locked(lock) 0 #define spin_is_locked(lock) 0
#define spin_unlock_wait(lock) do {} while(0) #define spin_unlock_wait(lock) do {} while (0)
#define spin_lock(lock) do {} while(0) #define spin_lock(lock) do {} while (0)
#define spin_unlock(lock) do {} while(0) #define spin_unlock(lock) do {} while (0)
#define cpu_relax() do {} while(0) #define cpu_relax() do {} while (0)
#endif #endif
#endif /* SMP_SPINLOCK_H */ #endif /* SMP_SPINLOCK_H */

4
src/include/string.h
View File

@ -24,7 +24,7 @@ int snprintf(char * buf, size_t size, const char *fmt, ...);
static inline size_t strnlen(const char *src, size_t max) static inline size_t strnlen(const char *src, size_t max)
{ {
size_t i = 0; size_t i = 0;
while((*src++) && (i < max)) { while ((*src++) && (i < max)) {
i++; i++;
} }
return i; return i;
@ -33,7 +33,7 @@ static inline size_t strnlen(const char *src, size_t max)
static inline size_t strlen(const char *src) static inline size_t strlen(const char *src)
{ {
size_t i = 0; size_t i = 0;
while(*src++) { while (*src++) {
i++; i++;
} }
return i; return i;

2
src/include/watchdog.h
View File

@ -4,7 +4,7 @@
#if CONFIG_USE_WATCHDOG_ON_BOOT #if CONFIG_USE_WATCHDOG_ON_BOOT
void watchdog_off(void); void watchdog_off(void);
#else #else
#define watchdog_off() while(0) {} #define watchdog_off() while (0) {}
#endif #endif
#endif /* WATCHDOG_H */ #endif /* WATCHDOG_H */