- Enable V86/DR save in HAL Clock Interrupt (and fix build).

- Add debug message to fs_rec driver to analyse why it's trying to allocate 4GB of non paged memory.

svn path=/trunk/; revision=25025
This commit is contained in:
Alex Ionescu 2006-12-03 07:34:03 +00:00
parent aae91f0242
commit cd31c14fe5
2 changed files with 4 additions and 2 deletions

View file

@ -232,7 +232,7 @@ FsRecIsUdfsVolume(IN PDEVICE_OBJECT DeviceObject)
DPRINT ("FsRecDeviceIoControl() failed (Status %lx)\n", Status); DPRINT ("FsRecDeviceIoControl() failed (Status %lx)\n", Status);
return(Status); return(Status);
} }
DPRINT ("BytesPerSector: %lu\n", DiskGeometry.BytesPerSector); DPRINT1 ("BytesPerSector: %lu\n", DiskGeometry.BytesPerSector);
/* Check the volume recognition sequence */ /* Check the volume recognition sequence */
Status = FsRecCheckVolumeRecognitionSequence(DeviceObject, Status = FsRecCheckVolumeRecognitionSequence(DeviceObject,

View file

@ -199,10 +199,12 @@ BelowHigh:
.globl _HalpClockInterrupt@0 .globl _HalpClockInterrupt@0
.func HalpClockInterrupt@0 .func HalpClockInterrupt@0
V86_hci: V86_TRAP_FIXUP
Dr_hci: DR_TRAP_FIXUP
_HalpClockInterrupt@0: _HalpClockInterrupt@0:
/* Enter trap */ /* Enter trap */
INT_PROLOG Hci, DoPushFakeErrorCode INT_PROLOG hci, DoPushFakeErrorCode
/* Push vector and make stack for IRQL */ /* Push vector and make stack for IRQL */
push 0x30 push 0x30