|
@@ -76,13 +76,13 @@ static inline unsigned long mfn_to_pfn(unsigned long mfn)
|
|
static inline xmaddr_t phys_to_machine(xpaddr_t phys)
|
|
static inline xmaddr_t phys_to_machine(xpaddr_t phys)
|
|
{
|
|
{
|
|
unsigned offset = phys.paddr & ~PAGE_MASK;
|
|
unsigned offset = phys.paddr & ~PAGE_MASK;
|
|
- return XMADDR(PFN_PHYS((u64)pfn_to_mfn(PFN_DOWN(phys.paddr))) | offset);
|
|
|
|
|
|
+ return XMADDR(PFN_PHYS(pfn_to_mfn(PFN_DOWN(phys.paddr))) | offset);
|
|
}
|
|
}
|
|
|
|
|
|
static inline xpaddr_t machine_to_phys(xmaddr_t machine)
|
|
static inline xpaddr_t machine_to_phys(xmaddr_t machine)
|
|
{
|
|
{
|
|
unsigned offset = machine.maddr & ~PAGE_MASK;
|
|
unsigned offset = machine.maddr & ~PAGE_MASK;
|
|
- return XPADDR(PFN_PHYS((u64)mfn_to_pfn(PFN_DOWN(machine.maddr))) | offset);
|
|
|
|
|
|
+ return XPADDR(PFN_PHYS(mfn_to_pfn(PFN_DOWN(machine.maddr))) | offset);
|
|
}
|
|
}
|
|
|
|
|
|
/*
|
|
/*
|