tree 56cedb9dd9c2aa4a034d7dd8f9aad83ca785c842
parent a02fbd08635e8d6295c23ac4967e376dd8dcef6e
author Curtis Millar <curtis.millar@data61.csiro.au> 1571021799 +1100
committer Curtis Millar <curtis.millar@data61.csiro.au> 1571024207 +1100

mcs: add api method for SC consumed

This adds an API method for calling the seL4_SchedContext_Consumed
operation regardless of whether the CONFIG_KERNEL_MCS is set.