Home
last modified time | relevance | path

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

/linux-2.6.39/include/linux/
Dtboot.h102 u32 tboot_base; member
/linux-2.6.39/arch/x86/kernel/
Dtboot.c100 pr_debug("tboot_base: 0x%08x\n", tboot->tboot_base); in tboot_probe()
165 map_base = PFN_DOWN(tboot->tboot_base); in tboot_create_trampoline()