extern int IsValidPA(int machNo, PA paddr);
extern MA PhysToMemAddr(int machNo, PA paddr);
extern PA MemToPhysAddr(int machNo, MA maddr);

#ifndef PHYS_TO_MEMADDR
#define PHYS_TO_MEMADDR(_m, _x) PhysToMemAddr((_m), (_x))
#define MEMADDR_TO_PHYS(_m, _x) MemToPhysAddr((_m), (_x))
#define IS_VALID_PA(_m, _x)    IsValidPA((_m), (_x))
#endif