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

;;; Experimental, device / configuration API
(use "common.witx")

(typename $handle_array 
  (record
    ;;; The address of the buffer to be written.
    (field $ptr (@witx const_pointer s32))
    ;;; The length of the buffer to be written.
    (field $len $size)
))


(module $device
  (@interface func (export "spi")
    ;; SPI array to fill
    (param $spi $handle_array)
    ;; Result
    (result $res (expected (error $errno)))
  )
  (@interface func (export "i2c")
    ;; I2C array to fill
    (param $i2c $handle_array)
    ;; Result
    (result $res (expected (error $errno)))
  )
  (@interface func (export "gpio_in")
    ;; GPIO input array to fill
    (param $gpio_in $handle_array)
    ;; Result
    (result $res (expected (error $errno)))
  )
  (@interface func (export "gpio_out")
    ;; GPIO output array to fill
    (param $gpio_out $handle_array)
    ;; Result
    (result $res (expected (error $errno)))
  )
)