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

/seL4-camkes-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-camkes-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-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_ppp.tex12 Any GSM/GPRS/3G/HSDPA module, exporting a non-blocking serial interface, such as SPI or UART,
H A Dchap_api_tftp.tex387 In either case, the transfer will happen one block at a time, and the callback provided by the user will be called to notify the acknowledgement for the successful of each transfer, transfer of the last block, reception of an option acknowledge message (client mode) or whenever an error occurs. Any error during the TFTP transfer will cancel the transfer itself.
/seL4-camkes-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 48 milliseconds