/seL4-master/src/plat/pc99/machine/ |
A D | io.c | 15 void serial_init(uint16_t port) in serial_init() argument 17 while (!(in8(port + 5) & 0x60)); /* wait until not busy */ in serial_init() 19 out8(port + 1, 0x00); /* disable generating interrupts */ in serial_init() 20 out8(port + 3, 0x80); /* line control register: command: set divisor */ in serial_init() 21 out8(port, 0x01); /* set low byte of divisor to 0x01 = 115200 baud */ in serial_init() 22 out8(port + 1, 0x00); /* set high byte of divisor to 0x00 */ in serial_init() 23 out8(port + 3, 0x03); /* line control register: set 8 bit, no parity, 1 stop bit */ in serial_init() 24 out8(port + 4, 0x0b); /* modem control register: set DTR/RTS/OUT2 */ in serial_init() 26 in8(port); /* clear receiver port */ in serial_init() 27 in8(port + 5); /* clear line status port */ in serial_init() [all …]
|
/seL4-master/include/plat/pc99/plat/machine/ |
A D | io.h | 14 void out8(uint16_t port, uint8_t value); 16 void out16(uint16_t port, uint16_t value); 18 void out32(uint16_t port, uint32_t value); 20 uint8_t in8(uint16_t port); 22 uint16_t in16(uint16_t port); 24 uint32_t in32(uint16_t port); 27 void serial_init(uint16_t port);
|
/seL4-master/src/arch/x86/object/ |
A D | ioport.c | 176 res = in8(port); in invokeX86PortIn() 179 res = in16(port); in invokeX86PortIn() 182 res = in32(port); in invokeX86PortIn() 219 out8(port, data); in invokeX86PortOut() 222 out16(port, data); in invokeX86PortOut() 225 out32(port, data); in invokeX86PortOut() 251 uint16_t port = getSyscallArg(0, buffer) & 0xffff; in decodeX86PortInvocation() local 254 ret = ensurePortOperationAllowed(cap, port, 1); in decodeX86PortInvocation() 267 return invokeX86PortIn(invLabel, port, call); in decodeX86PortInvocation() 276 uint16_t port = getSyscallArg(0, buffer) & 0xffff; in decodeX86PortInvocation() local [all …]
|
/seL4-master/tools/dts/ |
A D | sabre.dts | 106 port@0 { 115 port@1 { 124 port@2 { 133 port@3 { 142 port@4 { 158 port@0 { 167 port@1 { 176 port@2 { 185 port@3 { 2172 port { [all …]
|
A D | wandq.dts | 106 port@0 { 115 port@1 { 124 port@2 { 133 port@3 { 149 port@0 { 158 port@1 { 167 port@2 { 176 port@3 { 238 port@0 { 247 port@1 { [all …]
|
A D | hikey.dts | 1468 port { 1580 port { 1591 port { 1609 port { 1620 port { 1637 port { 1678 port { 1696 port { 1714 port { 1810 port { [all …]
|
A D | apq8064.dts | 1784 port@0 { 1791 port@1 { 2038 port { 2056 port { 2096 port { 2155 port { 2174 port { 2193 port { 2212 port { 2231 port { [all …]
|
A D | allwinnerA20.dts | 344 port@0 { 362 port@1 { 392 port@0 { 410 port@1 { 575 port@0 { 593 port@1 { 1381 port@1 { 1414 port@1 { 1446 port@0 { 1464 port@1 { [all …]
|
A D | imx7sabre.dts | 144 port@0 { 153 port@1 { 165 port { 208 port { 228 port { 247 port { 286 port { 304 port { 315 port { 333 port { [all …]
|
A D | fvp.dts | 465 port { 477 port { 530 port { 542 port {
|
A D | rockpro64.dts | 494 port { 1696 otg-port { 1724 otg-port { 1769 dp-port { 1793 dp-port { 1908 port { 1972 port { 2080 port { 2117 port@0 { 2155 port@0 { [all …]
|
A D | imx8mq-evk.dts | 533 port { 553 port { 578 port { 610 port { 643 port@0 { 666 port@0 { 721 port@0 { 730 port@1 { 755 port@0 { 1614 port { [all …]
|
A D | odroidc2.dts | 1131 port@0 { 1135 port@1 { 1160 port@0 { 1169 port@1 { 1310 port {
|
A D | tx2.dts | 1241 port@0 { 6588 port { 6606 port { 6624 port { 6642 port { 6660 port { 6677 port { 6698 port@0 { 6708 port@1 { 6882 port { [all …]
|
A D | omap3.dts | 3511 port { 3521 port { 3545 ssi-port@4805a000 { 3546 compatible = "ti,omap3-ssi-port"; 3552 ssi-port@4805b000 { 3721 port@0 { 3730 port@1 { 3747 port { 3760 port { 3777 port { [all …]
|
A D | exynos4.dts | 505 port@0 { 511 port@1 { 517 port@2 { 534 port@0 { 1820 cam-port-a-io { 1827 cam-port-a-clk-active { 1834 cam-port-a-clk-idle { 2215 cam-port-b-io { 2222 cam-port-b-clk-active { 2229 cam-port-b-clk-idle {
|
A D | imx8mm-evk.dts | 386 port { 410 port { 1031 port { 1054 port-type = "drp"; 1074 port-type = "drp"; 1157 port { 1667 port@0 { 1695 port@0 { 1704 port@1 {
|
A D | exynos5422.dts | 813 port@0 { 828 port@0 { 3517 cci-control-port = < 0x90 >; 3531 cci-control-port = < 0x90 >; 3544 cci-control-port = < 0x90 >; 3557 cci-control-port = < 0x90 >; 3570 cci-control-port = < 0x93 >; 3584 cci-control-port = < 0x93 >; 3597 cci-control-port = < 0x93 >; 3610 cci-control-port = < 0x93 >;
|
A D | odroidc4.dts | 149 clock-names = "general\0pclk\0port"; 151 reset-names = "port\0apb"; 283 port@0 { 292 port@1 { 2483 port@0 { 2487 port@1 { 3074 port {
|
A D | exynos5250.dts | 1441 cam-port-a { 1898 port@0 { 1913 port@0 { 2112 port@1 { 2640 port {
|
/seL4-master/manual/parts/api/ |
A D | debug_putchar.tex | 16 {Prints a character to the serial port, if debugging is turned on.}
|
/seL4-master/src/arch/x86/64/ |
A D | machine_asm.S | 21 BEGIN_FUNC(out8) # port, value
|
/seL4-master/manual/parts/ |
A D | bootup.tex | 48 \texttt{seL4\_CapIOPort} & global I/O port cap, null cap if unsupported 232 I/O-port base of the serial port that the kernel prints to 236 I/O-port base of the serial port that is used for kernel debugging
|
A D | io.tex | 88 and an unsigned integer~\texttt{port}, which indicates the I/O port to read from 90 In each case, \texttt{port} must be within the range of I/O ports identified 93 The I/O port methods return error codes upon failure. 94 A \texttt{seL4\_IllegalOperation} code is returned if port access is
|
A D | threads.tex | 685 …\_EnableIOPort}{x86_vcpu_enableioport} invocation and allows the provided I/O port capability to be 686 linked to the VCPU, and a subset of its I/O port range to be made accessible to the \obj{VCPU}. 687 Linking means that an I/O port capability can only be used in a single \apifunc{seL4\_X86\_VCPU\_En… 689 if the I/O port capability is deleted for any reason the access will be correspondingly removed
|