Searched refs:wrmsr (Results 1 – 5 of 5) sorted by relevance
24 wrmsr(0x83e, divider); in apic_timer_set_div()37 wrmsr(0x838, init_cnt); in apic_timer_set_init_cnt()53 wrmsr(0x832, val); in apic_timer_set_LVT()61 wrmsr(0x832, value); in apic_timer_write_LVT()
132 wrmsr(0x1b, ia32_apic_base); in apic_init_ap_core_local_apic()319 wrmsr(0x1b, ia32_apic_base); in apic_local_apic_init()
25 wrmsr(0x830, *(unsigned long *)&icr_entry); // 发送ipi in ipi_send_IPI()
119 void wrmsr(uint64_t address, uint64_t value) in wrmsr() function
190 wrmsr