Anyone knows how the mask bits, deliver bits and delivery interact with each other? Like, if the mask bit is set, will the deliver be set or reset when the source raises/lowers(the IRQ pin or LINT0/1 pin)?
What about if the deliver bit is set(pending) and the mask bit gets set by software? Will that block the delivery to the local APIC? Or will that just prevent the deliver bit from getting set again?