Searched refs:WS (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv8.S263 #define WS 8 define
267 #define WS 4 define
284 .byte 0x80-WS ! sleb128 -WS; CIE Data Alignment Factor
295 .align WS
305 .align WS
318 .align WS
328 .align WS
341 .align WS
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DsimpleSexpScript.sml130 grabWS ::= WS grabWS | ;
131 WS ::= ^(``{ c | isSpace c }``) ;

Completed in 45 milliseconds