1 #ifndef __NTOSKRNL_INCLUDE_INTERNAL_ARM_KE_H
2 #define __NTOSKRNL_INCLUDE_INTERNAL_ARM_KE_H
12 #define IMAGE_FILE_MACHINE_ARCHITECTURE IMAGE_FILE_MACHINE_ARM
15 // BKPT is 4 bytes long
17 #define KD_BREAKPOINT_TYPE ULONG
18 #define KD_BREAKPOINT_SIZE sizeof(ULONG)
19 //#define KD_BREAKPOINT_VALUE
22 // Macros for getting and setting special purpose registers in portable code
24 #define KeGetContextPc(Context) \
27 #define KeSetContextPc(Context, ProgramCounter) \
28 ((Context)->Pc = (ProgramCounter))
30 #define KeGetTrapFramePc(TrapFrame) \
33 #define KeGetContextReturnRegister(Context) \
36 #define KeSetContextReturnRegister(Context, ReturnValue) \
37 ((Context)->R0 = (ReturnValue))
40 // Returns the Interrupt State from a Trap Frame.
41 // ON = TRUE, OFF = FALSE
43 //#define KeGetTrapFrameInterruptState(TrapFrame)
46 // Invalidates the TLB entry for a specified address
50 KeInvalidateTlbEntry(IN PVOID Address
)
52 /* Invalidate the TLB entry for this address */
53 KeArmInvalidateTlbEntry(Address
);
81 #define KiSystemStartupReal KiSystemStartup
83 #define KiGetPreviousMode(tf) \
84 ((tf->Spsr & CPSR_MODES) == CPSR_USER_MODE) ? UserMode: KernelMode