#ifndef RVL_SDK_OS_ADDRESS_H
#define RVL_SDK_OS_ADDRESS_H

#include "common.h"

#ifdef __cplusplus
extern "C" {
#endif

static inline void *OSPhysicalToCached(u32 ofs) {
    return (void *)(ofs + 0x80000000);
}

static inline void *OSPhysicalToUncached(u32 ofs) {
    return (void *)(ofs + 0xC0000000);
}

static inline void *OSCachedToPhysical(const void *ofs) {
    return (char *)ofs - 0x80000000;
}

#ifdef __cplusplus
}
#endif

#endif