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
48
49
50
51
52
53

;;; GPIO Pin API
(use "common.witx")

(typename $mode
   (enum (@witx tag u32)
    $input
    $output
   )
)

(typename $value
   (enum (@witx tag u32)
    $low
    $high
   )
)

;;; Initialise SPI
(module $gpio
  (@interface func (export "init")
    ;; GPIO Port
    (param $port s32)
    ;; GPIO Pin
    (param $pin s32)
    ;; GPIO Mode
    (param $mode $mode)
    ;; Returns a device handle or error
    (result $res (expected $dev (error $errno)))
  )

  (@interface func (export "deinit")
    ;; GPIO pin handle
    (param $dev s32)
    ;; Result
    (result $res (expected (error $errno)))
  )

  (@interface func (export "set")
    ;; GPIO pin handle
    (param $dev s32)
    ;; Value to write
    (param $value $value)
    ;; Result
    (result $res (expected (error $errno)))
  )

  (@interface func (export "get")
    ;; GPIO pin handle
    (param $dev s32)
    ;; Result
    (result $res (expected $value (error $errno)))
  )
)