1#ifndef RVL_SDK_IPC_MAIN_H
2#define RVL_SDK_IPC_MAIN_H
5#include <revolution/IPC/ipcHardware.h>
10inline u32 ACRReadReg(u32 reg) {
11 return IPC_HW_REGS_PPC[reg / 4];
14inline void ACRWriteReg(u32 reg, u32 val) {
15 IPC_HW_REGS_PPC[reg / 4] = val;
19u32 IPCReadReg(s32 index);
20void IPCWriteReg(s32 index, u32 value);
21void* IPCGetBufferHi(
void);
22void* IPCGetBufferLo(
void);
23void IPCSetBufferLo(
void* lo);