Searched refs:icr2 (Results 1 – 4 of 4) sorted by relevance
61 uint32_t icr, icr2; in tpr_guest_irq_queue() local65 icr2 = 0; in tpr_guest_irq_queue()67 xapic_write_reg(APIC_ICR2, icr2); in tpr_guest_irq_queue()
62 uint32_t icr2; member152 data->icr2 = icr2_val; in sender_guest_code()493 data->icr, data->icr2, in main()
54 u32 icr2; member548 port->gpio_saved_reg.icr2 = readl(port->base + GPIO_ICR2); in mxc_gpio_save_regs()561 writel(port->gpio_saved_reg.icr2, port->base + GPIO_ICR2); in mxc_gpio_restore_regs()
236 u32 icr1, icr2; in native_apic_icr_read() local238 icr2 = apic_read(APIC_ICR2); in native_apic_icr_read()241 return icr1 | ((u64)icr2 << 32); in native_apic_icr_read()