Lines Matching refs:port
28 sel4platsupport_io_port_in(void *cookie, uint32_t port, int io_size, uint32_t *result)
31 uint32_t last_port = port + io_size - 1;
39 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth);
41 ZF_LOGE("Failed to get capability for IOPort range 0x%x-0x%x", port, last_port);
47 seL4_X86_IOPort_In8_t x = seL4_X86_IOPort_In8(path.capPtr, port);
53 seL4_X86_IOPort_In16_t x = seL4_X86_IOPort_In16(path.capPtr, port);
59 seL4_X86_IOPort_In32_t x = seL4_X86_IOPort_In32(path.capPtr, port);
76 sel4platsupport_io_port_out(void *cookie, uint32_t port, int io_size, uint32_t val)
79 uint32_t last_port = port + io_size - 1;
87 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth);
89 ZF_LOGE("Failed to get capability for IOPort range 0x%x-0x%x", port, last_port);
96 result = seL4_X86_IOPort_Out8(path.capPtr, port, val);
99 result = seL4_X86_IOPort_Out16(path.capPtr, port, val);
102 result = seL4_X86_IOPort_Out32(path.capPtr, port, val);