Searched refs:icrval (Results 1 – 1 of 1) sorted by relevance
958 uint64_t icrval; in vlapic_icrlo_write_handler() local967 icrval = ((uint64_t)lapic->icr_hi << 32) | lapic->icr_lo; in vlapic_icrlo_write_handler()970 dest = icrval >> 32; in vlapic_icrlo_write_handler()972 dest = icrval >> (32 + 24); in vlapic_icrlo_write_handler()973 vec = icrval & APIC_VECTOR_MASK; in vlapic_icrlo_write_handler()974 mode = icrval & APIC_DELMODE_MASK; in vlapic_icrlo_write_handler()982 VLAPIC_CTR2(vlapic, "icrlo 0x%016lx triggered ipi %d", icrval, vec); in vlapic_icrlo_write_handler()985 switch (icrval & APIC_DEST_MASK) { in vlapic_icrlo_write_handler()987 phys = ((icrval & APIC_DESTMODE_LOG) == 0); in vlapic_icrlo_write_handler()1027 if ((icrval & APIC_LEVEL_MASK) == APIC_LEVEL_DEASSERT) in vlapic_icrlo_write_handler()