433fbb4f5e109c9b69cadcc0f880b949b7e2e6e0
4 * Copyright (C) 2003 Eric Kohl
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License along
17 * with this program; if not, write to the Free Software Foundation, Inc.,
18 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
25 // This is needed because headers define wrong one for ReactOS
27 #define KIP0PCRADDRESS 0xFFFFF78000001000ULL /* FIXME!!! */
29 #define STACK64ADDR 0x74000 /* The 64-bit stack top will be at 0x74000 */
31 /* Long mode selectors */
34 #define RMODE_CS 0x20 /* RMode code selector, base 0 limit 64k */
35 #define RMODE_DS 0x28 /* RMode data selector, base 0 limit 64k */
38 #define VA_MASK 0x0000FFFFFFFFFFFFUL
41 ((((ULONGLONG)p) >> PAGE_SHIFT) & 0xfffffffULL)
43 #define VAtoPXI(va) ((((ULONG64)va) >> PXI_SHIFT) & 0x1FF)
44 #define VAtoPPI(va) ((((ULONG64)va) >> PPI_SHIFT) & 0x1FF)
45 #define VAtoPDI(va) ((((ULONG64)va) >> PDI_SHIFT) & 0x1FF)
46 #define VAtoPTI(va) ((((ULONG64)va) >> PTI_SHIFT) & 0x1FF)
48 #define HYPERSPACE_BASE 0xfffff70000000000ULL
49 #define HAL_BASE 0xffffffff80000000ULL
50 #define APIC_BASE 0xFFFFFFFFFFFE0000ULL
52 #define APIC_PHYS_BASE 0xfee00000
54 #define NUM_PAGES_KERNEL
58 VOID
FrLdrSetupGdtIdt(VOID
);
59 #define MachInit PcMachInit