tree a53a9994008c0a16076140b5a63ec9c19d3ff58d
parent 74188d2def64266ccf611267bd3c054141fc2808
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1564641070 +1000
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1566368552 +1000

sem-bare.h: Use seL4_WaitWithMRs syscall for mcs

This syscall doesn't need a reply cap to be set on mcs and can work
without an IPC buffer setup.