Searched refs:Any (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dplatform_sift.py18 from typing import Any, Dict, List, Tuple namespace
24 def is_valid(data: Dict[str, Any]) -> Tuple[bool, List[str]]:
171 def load_data(yaml_filename: str) -> Dict[str, Any]:
/seL4-test-master/kernel/tools/hardware/
H A Dfdt.py7 from typing import Any, Dict, IO, List namespace
106 def visit(self, visitor: Any):
H A Ddevice.py8 from typing import Any, Dict, Generator, List, Tuple, cast namespace
136 def visit(self, visitor: Any):
/seL4-test-master/kernel/manual/parts/
H A Dio.tex103 \obj{IO Port} capabilities to sub ranges of I/O ports. Any range that is issued
235 associated with a particular VSpace. Any TLB maintenance operations that the

Completed in 84 milliseconds