Python get_rr_sched_struct Examples

Example #1

 def setUpClass(cls):
     r = os.system(sys.executable +
                   " ./prj/app/prj.py build posix.unittest.simple-mutex")
     system = "out/posix/unittest/simple-mutex/system" + get_executable_extension(
     )
     assert r == 0
     cls.impl = ctypes.CDLL(system)
     cls.impl_mutex = ctypes.POINTER(sched.get_rr_sched_struct(10)).in_dll(
         cls.impl, 'pub_mutexes')[0]

Example #2

File: sched.py Project: GaloisInc/echronos

 def setUpClass(cls):
     r = os.system(sys.executable + " ./prj/app/prj.py build posix.unittest.sched-rr")
     system = "out/posix/unittest/sched-rr/system" + get_executable_extension()
     assert r == 0
     cls.impl = ctypes.CDLL(system)
     cls.impl_sched = ctypes.POINTER(sched.get_rr_sched_struct(10)).in_dll(cls.impl, 'pub_sched_tasks')[0]