amd64.h File Reference

Go to the source code of this file.

Macros
#define	KIP0PCRADDRESS   0xFFFFF78000001000ULL /* FIXME!!! */
#define	VA_MASK   0x0000FFFFFFFFFFFFUL
#define	PtrToPfn(p)    ((((ULONGLONG)p) >> PAGE_SHIFT) & 0xfffffffULL)
#define	VAtoPXI(va)   ((((ULONG64)(va)) >> PXI_SHIFT) & 0x1FF)
#define	VAtoPPI(va)   ((((ULONG64)(va)) >> PPI_SHIFT) & 0x1FF)
#define	VAtoPDI(va)   ((((ULONG64)(va)) >> PDI_SHIFT) & 0x1FF)
#define	VAtoPTI(va)   ((((ULONG64)(va)) >> PTI_SHIFT) & 0x1FF)

Functions
VOID	FrLdrSetupGdtIdt (VOID)

Macro Definition Documentation

KIP0PCRADDRESS

#define KIP0PCRADDRESS   0xFFFFF78000001000ULL /* FIXME!!! */

Definition at line 27 of file amd64.h.

PtrToPfn

#define PtrToPfn

(

p

)

((((ULONGLONG)p) >> PAGE_SHIFT) & 0xfffffffULL)

Definition at line 31 of file amd64.h.

VA_MASK

#define VA_MASK   0x0000FFFFFFFFFFFFUL

Definition at line 29 of file amd64.h.

VAtoPDI

#define VAtoPDI

(

va

)

((((ULONG64)(va)) >> PDI_SHIFT) & 0x1FF)

Definition at line 36 of file amd64.h.

VAtoPPI

#define VAtoPPI

(

va

)

((((ULONG64)(va)) >> PPI_SHIFT) & 0x1FF)

Definition at line 35 of file amd64.h.

VAtoPTI

#define VAtoPTI

(

va

)

((((ULONG64)(va)) >> PTI_SHIFT) & 0x1FF)

Definition at line 37 of file amd64.h.

VAtoPXI

#define VAtoPXI

(

va

)

((((ULONG64)(va)) >> PXI_SHIFT) & 0x1FF)

Definition at line 34 of file amd64.h.

Function Documentation

FrLdrSetupGdtIdt()

VOID FrLdrSetupGdtIdt

(

VOID

)