Searched refs:byte (Results 1 - 25 of 27) sorted by relevance

12

/seL4-camkes-master/tools/riscv-pk/bbl/
H A Draw_logo.S9 .byte 0
/seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/efi/gnuefi/
H A Dcrt0-efi-arm.S48 .byte 0x02 // MajorLinkerVersion
49 .byte 0x14 // MinorLinkerVersion
99 .byte 0
100 .byte 0 // end of 0 padding of section name
113 .byte 0
114 .byte 0
115 .byte 0 // end of 0 padding of section name
H A Dcrt0-efi-aarch64.S47 .byte 0x02 // MajorLinkerVersion
48 .byte 0x14 // MinorLinkerVersion
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Dstrbuffer.h28 int strbuffer_append_byte(strbuffer_t *strbuff, char byte);
H A Dutf.h23 size_t utf8_check_first(char byte);
H A Dstrbuffer.c68 int strbuffer_append_byte(strbuffer_t *strbuff, char byte) argument
70 return strbuffer_append_bytes(strbuff, &byte, 1);
H A Dutf.c47 size_t utf8_check_first(char byte) argument
49 unsigned char u = (unsigned char)byte;
55 /* second, third or fourth byte of a multi-byte
56 sequence, i.e. a "continuation byte" */
60 /* overlong encoding of an ASCII byte */
64 /* 2-byte sequence */
69 /* 3-byte sequence */
73 /* 4-byte sequence */
77 /* Restricted (start of 4-, 5- or 6-byte sequenc
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4keyboard/src/arch-x86/
H A Dkeyboard.c24 /* This byte can be written to port KEYBOARD_INPUT_CONTROL to tell the keyboard
25 * controller that the next byte you write to port KEYBOARD_OUTPUT_BUFFER
71 #define ps2_single_control(byte) io_out8(KEYBOARD_INPUT_CONTROL, byte)
73 #define ps2_write_output(byte) io_out8(KEYBOARD_OUTPUT_BUFFER, byte)
/seL4-camkes-master/tools/riscv-pk/util/
H A Dstring.c26 void* memset(void* dest, int byte, size_t len) argument
29 uintptr_t word = byte & 0xFF;
40 *d++ = byte;
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dx86_32.S13 .byte 0
150 # 'critical_fixup_table'. For each byte offset in the critical region, it
172 .byte 0x00,0x00,0x00 # testb $0xff,(%esi)
173 .byte 0x00,0x00 # jne 14f
174 .byte 0x00 # pop %ebx
175 .byte 0x04 # pop %ecx
176 .byte 0x08 # pop %edx
177 .byte 0x0c # pop %esi
178 .byte 0x10 # pop %edi
179 .byte
[all...]
H A Dx86_64.S12 .byte 0
/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dbase64.h50 /* Write a byte to a base64 stream */
51 static inline int base64_putbyte(base64_t *streamer, uint8_t byte) argument
53 /* Buffer the byte */
55 streamer->buffer |= byte;
/seL4-camkes-master/kernel/src/arch/x86/64/
H A Dhead.S280 * them as 8 byte values so we can easily pop later. */
310 .byte 0
311 .byte 0x98
312 .byte 0x20
313 .byte 0
316 .byte 0
317 .byte 0x90
318 .byte 0
319 .byte 0
395 .word (3 * 8) - 1 /* Limit: 3 segments * 8 bytes - 1 byte */
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dkeyboard_ps2.c22 ps2_single_control(ps_io_ops_t *ops, int8_t byte) argument
24 ps_io_port_out(&ops->io_port_ops, PS2_IOPORT_CONTROL, 1, byte);
55 ps2_write_output(ps_io_ops_t *ops, uint8_t byte) argument
58 ps_io_port_out(&ops->io_port_ops, PS2_IOPORT_DATA, 1, byte);
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py80 bytes.extend([byte for block in entry.get_blocks() for byte in block])
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Drpc-connector.c101 (* Add '2 * word_size + 1' because the protocol with the ffi IPC functions requires 1 byte for
/seL4-camkes-master/projects/lwip/src/apps/snmp/
H A Dsnmpv3_mbedtls.c82 u8_t byte; local
84 if (snmp_pbuf_stream_read(&read_stream, &byte)) {
88 if (mbedtls_md_hmac_update(&ctx, &byte, 1) != 0) {
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_ipv6.c195 uint8_t doublecolon = 0, byte = 0; local
210 buf[byte] = (uint8_t)((buf[byte] << 4) + pico_ipv6_hex_to_dec(p));
212 ++byte;
227 /* one zero f.e. db8: byte = 1, buf[byte-1] = 0xdb, buf[byte] = 0x08 */
228 buf[byte] |= (uint8_t)(buf[byte - 1] << 4);
229 buf[byte
[all...]
H A Dpico_dns_common.c29 * Checks if the DNS name doesn't exceed 256 bytes including zero-byte.
31 * @param namelen Length of the DNS name-string including zero-byte
45 * @return Returns strlen of a compressed name, takes the first byte of compr-
46 * ession pointer into account but not the second byte, which acts
47 * like a trailing zero-byte
61 /* Just count until the zero-byte or a pointer */
113 /* Append final zero-byte */
306 * be +1 byte offset in the actual buffer. Size is should be
408 * Get the ASCII value of the Most Significant Nibble of a byte
410 * @param byte Byt
[all...]
/seL4-camkes-master/projects/musllibc/src/thread/powerpc/
H A Dsyscall_cp.s12 #r1: stack frame: 16 byte alignment.
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Ddecode.c175 /* Returns 1 if this byte is an x86 instruction prefix */
176 static int is_prefix(uint8_t byte) argument
178 switch (byte) {
413 /* Assume this is a single byte instruction we can ignore */
/seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/
H A DvirtqueueScript.sml39 (* check if first byte of FFI array is FFI_SUCCESS (0) *)
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_dns_common.c1260 uint8_t byte = 0x34; local
1265 nibble_lo = dns_ptr_ip6_nibble_lo(byte);
1272 uint8_t byte = 0x34; local
1277 nibble_hi = dns_ptr_ip6_nibble_hi(byte);
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dpppos.c139 ppp_get_fcs(u8_t byte) argument
143 octet = byte;
652 case PDDATA: /* Process data byte. */
/seL4-camkes-master/projects/lwip/src/apps/mdns/
H A Dmdns.c299 /* Allow only zero marker on last byte */
404 /* bad length byte */
562 u8_t byte = ptr[i]; local
565 if ((byte & 0x0F) < 0xA) {
566 buf = '0' + (byte & 0x0F);
568 buf = 'a' + (byte & 0x0F) - 0xA;
572 byte >>= 4;
1044 * incremented to point to the next unparsed byte.
2295 * Buffer for TXT data is 256 bytes, and each field is prefixed with a length byte.

Completed in 299 milliseconds

12