Searched refs:IO (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/kernel/tools/hardware/
H A Dfdt.py7 from typing import Any, Dict, IO, List namespace
17 def __init__(self, dtb_file: IO[bytes]):
/seL4-refos-master/kernel/manual/parts/
H A Dio.tex76 Access to I/O ports is controlled by \obj{IO Port} capabilities. Each
77 \obj{IO Port} capability identifies a range of ports that can be accessed with
87 Each of these methods takes as arguments an \obj{IO Port} capability
91 by the given \obj{IO Port} capability in order for the method to succeed.
95 attempted outside the range allowed by the \obj{IO Port} capability.
103 \obj{IO Port} capabilities to sub ranges of I/O ports. Any range that is issued
104 may not have overlap with any existing issued \obj{IO Port} capability.
H A Dcspace.tex207 \obj{IO Page Table (IA-32 only)} & Must be mapped & \enummem{seL4\_IllegalOperation}\\
/seL4-refos-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h199 IO = 0x1E, enumerator in enum:exit_reasons
351 /* Removes any IO port mappings that have been cached for the given VPID */
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dvcpu.c1238 case IO:
1424 /* clear the IO bitmap as when we sever the VPID asignment we lose
1425 * the ability for the references in IO port capabilities to invalidate */

Completed in 53 milliseconds