Home
last modified time | relevance | path

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

/xen/xen/arch/x86/
A Dtboot.c19 static unsigned long __initdata opt_tboot_pa; variable
20 integer_param("tboot", opt_tboot_pa);
97 if ( !opt_tboot_pa || (opt_tboot_pa & ~PAGE_MASK) ) in tboot_probe()
101 set_fixmap(FIX_TBOOT_SHARED_BASE, opt_tboot_pa); in tboot_probe()
117 printk("TBOOT: found shared page at phys addr %#lx:\n", opt_tboot_pa); in tboot_probe()

Completed in 3 milliseconds