static struct hvm_info_table *get_hvm_info_table(void)
{
- static struct hvm_info_table *table;
+ static struct hvm_info_table *table = NULL;
struct hvm_info_table *t;
if ( table != NULL )
string_param("tboot", opt_tboot);
/* Global pointer to shared data; NULL means no measured launch. */
-tboot_shared_t *g_tboot_shared;
+tboot_shared_t *g_tboot_shared = NULL;
static const uuid_t tboot_shared_uuid = TBOOT_SHARED_UUID;
extern char __init_begin[], __per_cpu_start[], __per_cpu_end[], __bss_start[];
/* used by tboot_protect_mem_regions() and/or tboot_parse_dmar_table() */
-static uint64_t txt_heap_base, txt_heap_size;
-static uint64_t sinit_base, sinit_size;
+static uint64_t txt_heap_base = 0;
+static uint64_t txt_heap_size = 0;
+static uint64_t sinit_base = 0;
+static uint64_t sinit_size = 0;
/*
* TXT configuration registers (offsets from TXT_{PUB, PRIV}_CONFIG_REGS_BASE)