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);