Searched refs:encoding (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libvterm/src/
H A Dstate.c160 VTermEncodingInstance *encoding = local
161 !(bytes[eaten] & 0x80) ? &state->encoding[state->gl_set] :
163 &state->encoding[state->gr_set];
165 (*encoding->enc->decode)(encoding->enc, encoding->data,
560 state->encoding[setnum].enc = newenc;
563 (*newenc->init)(newenc, state->encoding[setnum].data);
1480 state->encoding[i].enc = default_enc;
1482 (*default_enc->init)(default_enc, state->encoding[
[all...]
H A Dvterm_internal.h83 VTermEncodingInstance encoding[4], encoding_utf8; member in struct:VTermState
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/
H A Dstate.c160 VTermEncodingInstance *encoding = local
161 !(bytes[eaten] & 0x80) ? &state->encoding[state->gl_set] :
163 &state->encoding[state->gr_set];
165 (*encoding->enc->decode)(encoding->enc, encoding->data,
560 state->encoding[setnum].enc = newenc;
563 (*newenc->init)(newenc, state->encoding[setnum].data);
1480 state->encoding[i].enc = default_enc;
1482 (*default_enc->init)(default_enc, state->encoding[
[all...]
H A Dvterm_internal.h83 VTermEncodingInstance encoding[4], encoding_utf8; member in struct:VTermState
/seL4-refos-master/projects/refos/design/
H A Dintro.tex137 For example, the notation \met{dataserv}{dataspace}{open} means an invocation of the \texttt{open} method of the \obj{dataspace} interface on the server called \srv{dataserv}. Note that any \srv{server} can implement a particular \obj{interface}. The encoding of method and arguments in the actual message is left as an implementation detail.
/seL4-refos-master/kernel/manual/parts/
H A Dobjects.tex116 number of data words and possibly some capabilities. The structure and encoding

Completed in 157 milliseconds