IDXD_INTC_INT_HANDLE_REVOKED
if (cause & IDXD_INTC_INT_HANDLE_REVOKED) {
val |= IDXD_INTC_INT_HANDLE_REVOKED;