Searched refs:boot_DT (Results 1 – 2 of 2) sorted by relevance
53 u32 boot_DT : 1, member
1218 apic_dbg("....... : Boot DT : %X\n", reg_03.bits.boot_DT); in print_IO_APIC()