Searched refs:xapic_read_reg (Results 1 – 5 of 5) sorted by relevance
96 data->halter_apic_id = GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID)); in halter_guest_code()97 data->halter_lvr = xapic_read_reg(APIC_LVR); in halter_guest_code()108 data->halter_tpr = xapic_read_reg(APIC_TASKPRI); in halter_guest_code()109 data->halter_ppr = xapic_read_reg(APIC_PROCPRI); in halter_guest_code()
26 uint64_t val = (u64)xapic_read_reg(APIC_IRR) | in xapic_guest_code()27 (u64)xapic_read_reg(APIC_IRR + 0x10) << 32; in xapic_guest_code()
65 ret = do_sched_yield(GET_APIC_ID_FIELD(xapic_read_reg(APIC_ID))); in guest_main()
35 val = xapic_read_reg(APIC_SPIV) | APIC_SPIV_APIC_ENABLED; in xapic_enable()
73 static inline uint32_t xapic_read_reg(unsigned int reg) in xapic_read_reg() function