Home
last modified time | relevance | path

Searched refs:tboot_shared (Results 1 – 1 of 1) sorted by relevance

/xen/xen/arch/x86/
A Dtboot.c94 tboot_shared_t *tboot_shared; in tboot_probe() local
102 tboot_shared = fix_to_virt(FIX_TBOOT_SHARED_BASE); in tboot_probe()
103 if ( tboot_shared == NULL ) in tboot_probe()
110 if ( tboot_shared->version < 4 ) in tboot_probe()
116 g_tboot_shared = tboot_shared; in tboot_probe()
118 printk(" version: %d\n", tboot_shared->version); in tboot_probe()
119 printk(" log_addr: %#x\n", tboot_shared->log_addr); in tboot_probe()
121 printk(" tboot_base: %#x\n", tboot_shared->tboot_base); in tboot_probe()
122 printk(" tboot_size: %#x\n", tboot_shared->tboot_size); in tboot_probe()
123 if ( tboot_shared->version >= 6 ) in tboot_probe()
[all …]

Completed in 2 milliseconds