FIX_TBOOT_BASE
set_fixmap(FIX_TBOOT_BASE, boot_params.tboot_addr);
tboot = (void *)fix_to_virt(FIX_TBOOT_BASE);