* Infineon slb9635), so this driver provides access to locality 0 only.
*/
-/* #define DEBUG */
#include <stdlib.h>
#include <string.h>
#include <delay.h>
#include <arch/byteorder.h>
#include <console/console.h>
#include <pc80/tpm.h>
-
-#ifdef DEBUG
-#define TPM_DEBUG_ON 1
-#else
-#define TPM_DEBUG_ON 0
-#endif
+#include <cpu/x86/car.h>
#define PREFIX "lpc_tpm: "
/* coreboot wrapper for TPM driver (start) */
#define TPM_DEBUG(fmt, args...) \
- if (TPM_DEBUG_ON) { \
+ if (CONFIG_DEBUG_TPM) { \
printk(BIOS_DEBUG, PREFIX); \
printk(BIOS_DEBUG, fmt , ##args); \
}
struct vendor_name {
u16 vendor_id;
const char * vendor_name;
- struct device_name* dev_names;
+ const struct device_name* dev_names;
};
-static struct device_name infineon_devices[] = {
+static const struct device_name infineon_devices[] = {
{0xb, "SLB9635 TT 1.2"},
{0}
};
* Cached vendor/device ID pair to indicate that the device has been already
* discovered
*/
-static u32 vendor_dev_id;
+static u32 vendor_dev_id CAR_GLOBAL;
static int is_byte_reg(u32 reg)
{