Searched refs:icrval (Results 1 – 1 of 1) sorted by relevance
944 vlapic_is_icr_valid(uint64_t icrval) in vlapic_is_icr_valid() argument946 uint32_t mode = icrval & APIC_DELMODE_MASK; in vlapic_is_icr_valid()947 uint32_t level = icrval & APIC_LEVEL_MASK; in vlapic_is_icr_valid()948 uint32_t trigger = icrval & APIC_TRIGMOD_MASK; in vlapic_is_icr_valid()949 uint32_t shorthand = icrval & APIC_DEST_MASK; in vlapic_is_icr_valid()1033 uint64_t icrval; in vlapic_icrlo_write_handler() local1039 icrval = ((uint64_t)lapic->icr_hi << 32) | lapic->icr_lo; in vlapic_icrlo_write_handler()1044 if (!vlapic_is_icr_valid(icrval)) in vlapic_icrlo_write_handler()1048 dest = icrval >> 32; in vlapic_icrlo_write_handler()1050 dest = icrval >> (32 + 24); in vlapic_icrlo_write_handler()[all …]