Searched refs:get_maxlvt (Results 1 – 8 of 8) sorted by relevance
45 int get_maxlvt(void) in get_maxlvt() function61 maxlvt = get_maxlvt(); in clear_local_APIC()183 reg1 = get_maxlvt(); in verify_local_APIC()399 maxlvt = get_maxlvt(); in setup_local_APIC()
656 maxlvt = get_maxlvt(); in do_boot_cpu()
954 maxlvt = get_maxlvt(); in print_local_APIC()
66 extern int get_maxlvt(void);
67 extern int get_maxlvt (void);
43 int get_maxlvt(void) in get_maxlvt() function59 maxlvt = get_maxlvt(); in clear_local_APIC()188 reg1 = get_maxlvt(); in verify_local_APIC()414 maxlvt = get_maxlvt(); in setup_local_APIC()
625 maxlvt = get_maxlvt(); in wakeup_secondary_via_NMI()703 maxlvt = get_maxlvt(); in wakeup_secondary_via_INIT()
928 maxlvt = get_maxlvt(); in print_local_APIC()