Lines Matching refs:icrval
952 vlapic_is_icr_valid(uint64_t icrval) in vlapic_is_icr_valid() argument
954 uint32_t mode = icrval & APIC_DELMODE_MASK; in vlapic_is_icr_valid()
955 uint32_t level = icrval & APIC_LEVEL_MASK; in vlapic_is_icr_valid()
956 uint32_t trigger = icrval & APIC_TRIGMOD_MASK; in vlapic_is_icr_valid()
957 uint32_t shorthand = icrval & APIC_DEST_MASK; in vlapic_is_icr_valid()
1037 uint64_t icrval; in vlapic_icrlo_write_handler() local
1045 icrval = ((uint64_t)lapic->icr_hi << 32) | lapic->icr_lo; in vlapic_icrlo_write_handler()
1048 dest = icrval >> 32; in vlapic_icrlo_write_handler()
1050 dest = icrval >> (32 + 24); in vlapic_icrlo_write_handler()
1051 vec = icrval & APIC_VECTOR_MASK; in vlapic_icrlo_write_handler()
1052 mode = icrval & APIC_DELMODE_MASK; in vlapic_icrlo_write_handler()
1053 phys = (icrval & APIC_DESTMODE_LOG) == 0; in vlapic_icrlo_write_handler()
1054 shorthand = icrval & APIC_DEST_MASK; in vlapic_icrlo_write_handler()
1056 VLAPIC_CTR2(vlapic, "icrlo 0x%016lx triggered ipi %d", icrval, vec); in vlapic_icrlo_write_handler()
1079 if (!vlapic_is_icr_valid(icrval)) { in vlapic_icrlo_write_handler()
1080 VLAPIC_CTR1(vlapic, "Ignoring invalid ICR %016lx", icrval); in vlapic_icrlo_write_handler()