/*
* This file is part of the coreboot project.
- *
+ *
* Copyright (C) 2007-2009 coresystems GmbH
*
* This program is free software; you can redistribute it and/or
0x0, 0x0, 0x0, 0x0,
};
-static inline void strcpy(char *dst, char *src)
+static inline void strcpy(char *dst, char *src)
{
while (*src) *dst++ = *src++;
}
/* Skip leading spaces */
processor_name_start = temp_processor_name;
- while (*processor_name_start == ' ')
+ while (*processor_name_start == ' ')
processor_name_start++;
memset(processor_name, 0, 49);
#if CONFIG_USBDEBUG_DIRECT
// Is this caution really needed?
- if(!ehci_debug_addr)
+ if(!ehci_debug_addr)
ehci_debug_addr = get_ehci_debug();
set_ehci_debug(0);
#endif