- #else
- Uint32 data[3];
- MM_ReadFromAddrSpace(Thread->MemState.CR3, Thread->SavedState.EBP, data, 12);
- if( data[1] == (Uint32)&IRQCommon + 25 )
- {
- tRegs *regs = (void *) data[2];
- Log(" oldebp = 0x%08x, ret = 0x%08x, regs = 0x%x",
- data[0], data[1], data[2]
- );
- // [EBP] = old EBP
- // [EBP+0x04] = Return Addr
- // [EBP+0x08] = Arg 1 (CPU Number)
- // [EBP+0x0C] = Arg 2 (Thread)
- // [EBP+0x10] = GS (start of tRegs)
- Log(" IRQ%i from %02x:%08x", regs->int_num regs->cs, regs->eip);
- }
- if( stack[1] == (Uint32)&scheduler_return )
- #endif