1/*
2 * Copyright (c) 2007 The Hewlett-Packard Development Company
3 * All rights reserved.
4 *
5 * Redistribution and use of this software in source and binary forms,
6 * with or without modification, are permitted provided that the
7 * following conditions are met:
8 *

--- 74 unchanged lines hidden (view full) ---

83 const int NumSegments = 6;
84 const int NumSysSegments = 4;
85
86 const Addr IntAddrPrefixMask = ULL(0xffffffff00000000);
87 const Addr IntAddrPrefixCPUID = ULL(0x100000000);
88 const Addr IntAddrPrefixMSR = ULL(0x200000000);
89 const Addr IntAddrPrefixIO = ULL(0x300000000);
90
91 const Addr PhysAddrPrefixIO = ULL(0x1000000000000000);
92}
93
94#endif //__ARCH_X86_X86TRAITS_HH__