Searched refs:tempfile (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/libsel4/tools/
H A Dbitfield_gen.py26 import tempfile namespace
2555 self.file = tempfile.NamedTemporaryFile(
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/
H A Dbitfield_gen.py26 import tempfile namespace
2555 self.file = tempfile.NamedTemporaryFile(
/seL4-mcs-10.1.1/tools/
H A Dbitfield_gen.py26 import tempfile namespace
2555 self.file = tempfile.NamedTemporaryFile(

Completed in 42 milliseconds