Lines Matching defs:idxIoRedTbl
315 uint32_t const idxIoRedTbl = (uIoRegSel - UINT32_C(0x10)) >> 1;
318 *pu32Value = RT_LODWORD(pThis->ioredtbl[idxIoRedTbl]);
320 *pu32Value = RT_HIDWORD(pThis->ioredtbl[idxIoRedTbl]);
352 uint32_t const idxIoRedTbl = (uIoRegSel - UINT32_C(0x10)) >> 1;
377 u64NewValue = (pThis->ioredtbl[idxIoRedTbl] & (UINT64_C(0xffffffff00000000) | RT_BIT(14) | RT_BIT(12)))
381 LogRel(("IOAPIC GUEST BUG: bad vector writing %x(sel=%x) to %u\n", u32Value, uIoRegSel, idxIoRedTbl));
382 u64NewValue = pThis->ioredtbl[idxIoRedTbl];
390 u64NewValue = (pThis->ioredtbl[idxIoRedTbl] & UINT64_C(0x00000000ffffffff))
394 Log(("ioapic: IOREDTBL%u %#018llx -> %#018llx\n", idxIoRedTbl, pThis->ioredtbl[idxIoRedTbl], u64NewValue));
395 pThis->ioredtbl[idxIoRedTbl] = u64NewValue;