wasm-embedded-spec 0.4.0

Embedded WASM WITX specification
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

;;; UART Device API

(use "common.witx")

(module $uart
  (@interface func (export "init")
    ;; UART device to init 
    (param $port u32)
    ;; Baud rate
    (param $baud u32)

    (param $tx s32)
    (param $rx s32)

    ;; Returns a device handle or error
    (result $res (expected $dev (error $errno)))
  )

  (@interface func (export "deinit")
    ;; UART device handle to deinit 
    (param $handle s32)
    ;; Result
    (result $res (expected (error $errno)))
  )

  (@interface func (export "write")
    ;; UART device handle for write
    (param $handle s32)
    ;; Write operation flags
    (param $flags s32)
    ;; Data to write
    (param $data $rbytes)
    ;; Result
    (result $res (expected (error $errno)))
  )

  (@interface func (export "read")
    ;; UART device handle for transfer 
    (param $handle s32)
    ;; Read operation flags
    (param $flags s32)
    ;; Buffer to read into
    (param $buff $wbytes)
    ;; Result
    (result $res (expected (error $errno)))
  )
)