rlm@8: service PROCESSORSYSTEMRRR
rlm@8: {
rlm@8:     server hw (bsv, connection) <- sw (cpp, method)
rlm@8:     {
rlm@8:         method ReadCPUToHost  (out UINT32[32] regValue, in UINT32[32] dummy);
rlm@8:         method WriteHostToCPU (in UINT32[32] regValue);
rlm@8:     };
rlm@8: 
rlm@8:     server sw (cpp, method) <- hw (bsv, connection) 
rlm@8:     {
rlm@8:        method MemoryRequestLoad  (in UINT32[32] address, out UINT32[32] value);
rlm@8:        method MemoryRequestStore (in UINT32[32] address, in UINT32[32] value);
rlm@8:     };
rlm@8: 
rlm@8:  };