amd64.h File Reference

Go to the source code of this file.

Defines
#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)
#define	MachInit   PcMachInit
Functions
VOID	FrLdrSetupGdtIdt (VOID)