Searched refs:icrval (Results 1 – 1 of 1) sorted by relevance
952 vlapic_is_icr_valid(uint64_t icrval) in vlapic_is_icr_valid() argument954 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() local1045 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()[all …]