20 #ifndef KERNEL_PROCESSOR_MIPS32_STATE_H    21 #define KERNEL_PROCESSOR_MIPS32_STATE_H    23 #include "pedigree/kernel/Log.h"    24 #include "pedigree/kernel/compiler.h"    25 #include "pedigree/kernel/processor/types.h"    65     processor_register_t 
getRegister(
size_t index) 
const;
    94     inline uintptr_t getSyscallParameter(
size_t n) 
const;
    95     inline void setSyscallReturnValue(uintptr_t val);
   100     construct(PPC32ProcessorState &state, 
bool userMode);
   228     m_Srr0 = instructionPointer;
   244     return m_Srr1 & (1 << 15);
   253     return ((
m_R3 >> 16) & 0xFFFF);
   257     return (
m_R3 & 0xFFFF);
   259 uintptr_t PPC32InterruptState::getSyscallParameter(
size_t n)
 const   274             WARNING(
"Bad syscall parameter requested: " << 
Dec << n);
   278 void PPC32InterruptState::setSyscallReturnValue(uintptr_t val)
 
void setInstructionPointer(uintptr_t instructionPointer)
uintptr_t getInstructionPointer() const 
size_t getInterruptNumber() const 
void setBasePointer(uintptr_t basePointer)
const char * getRegisterName(size_t index) const 
void setStackPointer(uintptr_t stackPointer)
size_t getSyscallService() const 
size_t getRegisterCount() const 
uintptr_t getBasePointer() const 
processor_register_t getRegister(size_t index) const 
size_t getSyscallNumber() const 
PPC32InterruptState & operator=(const PPC32InterruptState &)
uintptr_t getStackPointer() const 
size_t getRegisterSize(size_t index) const 
static PPC32InterruptState * construct(PPC32ProcessorState &state, bool userMode)