38,77d37
< // used to determine the home directory
< // returns a value between 0 and total_directories_within_the_system
< inline NodeID
< map_Address_to_DirectoryNode(Addr addr)
< {
< return DirectoryMemory::mapAddressToDirectoryVersion(addr);
< }
<
< inline NodeID
< map_Address_to_TCCdirNode(Addr addr)
< {
< return DirectoryMemory::mapAddressToDirectoryVersion(addr);
< }
<
< // used to determine the home directory
< // returns a value between 0 and total_directories_within_the_system
< inline MachineID
< map_Address_to_Directory(Addr addr)
< {
< MachineID mach =
< {MachineType_Directory, map_Address_to_DirectoryNode(addr)};
< return mach;
< }
<
< inline MachineID
< map_Address_to_RegionDir(Addr addr)
< {
< MachineID mach = {MachineType_RegionDir,
< map_Address_to_DirectoryNode(addr)};
< return mach;
< }
<
< inline MachineID
< map_Address_to_TCCdir(Addr addr)
< {
< MachineID mach =
< {MachineType_TCCdir, map_Address_to_TCCdirNode(addr)};
< return mach;
< }
<