mirror of
https://github.com/TwilitRealm/dusklight
synced 2026-06-14 05:34:38 -04:00
Luke Street
4df8ccc871
* Reorganize files into libs/{dolphin,JSystem,PowerPC_EABI_Support,revolution,TRK_MINNOW_DOLPHIN}
* Update configure.py and project.py for new libs structure
* Refactor `#include <dolphin/x.h>` -> `<x.h>`
* Remove `__REVOLUTION_SDK__` forwards from dolphin
* Fix dolphin/ references in revolution
* Wrap `#include <dolphin.h>` in `!__REVOLUTION_SDK__`
* Always build TRK against dolphin headers
* Resolve revolution SDK header resolution issues
40 lines
1.4 KiB
C
40 lines
1.4 KiB
C
#include <dolphin/os.h>
|
|
|
|
// undefine the macros so they do not error the file.
|
|
#undef OSPhysicalToCached
|
|
#undef OSPhysicalToUncached
|
|
#undef OSCachedToPhysical
|
|
#undef OSUncachedToPhysical
|
|
#undef OSCachedToUncached
|
|
#undef OSUncachedToCached
|
|
|
|
void* OSPhysicalToCached(u32 paddr) {
|
|
ASSERTMSGLINE(47, paddr < 0x10000000U, "OSPhysicalToCached(): illegal address.");
|
|
return (void*)(paddr + 0x80000000);
|
|
}
|
|
|
|
void* OSPhysicalToUncached(u32 paddr) {
|
|
ASSERTMSGLINE(62, paddr < 0x10000000U, "OSPhysicalToUncached(): illegal address.");
|
|
return (void*)(paddr - 0x40000000);
|
|
}
|
|
|
|
u32 OSCachedToPhysical(void* caddr) {
|
|
ASSERTMSGLINE(77, 0x80000000U <= (u32)caddr && (u32)caddr < 0x90000000U, "OSCachedToPhysical(): illegal address.");
|
|
return (u32)caddr + 0x80000000;
|
|
}
|
|
|
|
u32 OSUncachedToPhysical(void* ucaddr) {
|
|
ASSERTMSGLINE(92, 0xC0000000U <= (u32)ucaddr && (u32)ucaddr < 0xD0000000U, "OSUncachedToPhysical(): illegal address.");
|
|
return (u32)ucaddr + 0x40000000;
|
|
}
|
|
|
|
void* OSCachedToUncached(void* caddr) {
|
|
ASSERTMSGLINE(107, 0x80000000U <= (u32)caddr && (u32)caddr < 0x90000000U, "OSCachedToUncached(): illegal address.");
|
|
return (void*)((u32)caddr + 0x40000000);
|
|
}
|
|
|
|
void* OSUncachedToCached(void* ucaddr) {
|
|
ASSERTMSGLINE(122, 0xC0000000U <= (u32)ucaddr && (u32)ucaddr < 0xD0000000U, "OSUncachedToCached(): illegal address.");
|
|
return (void*)((u32)ucaddr - 0x40000000);
|
|
}
|