/seL4-camkes-master/tools/riscv-pk/bbl/ |
H A D | raw_logo.S | 9 .byte 0
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/efi/gnuefi/ |
H A D | crt0-efi-arm.S | 48 .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 D | crt0-efi-aarch64.S | 47 .byte 0x02 // MajorLinkerVersion 48 .byte 0x14 // MinorLinkerVersion
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | strbuffer.h | 28 int strbuffer_append_byte(strbuffer_t *strbuff, char byte);
|
H A D | utf.h | 23 size_t utf8_check_first(char byte);
|
H A D | strbuffer.c | 68 int strbuffer_append_byte(strbuffer_t *strbuff, char byte) argument 70 return strbuffer_append_bytes(strbuff, &byte, 1);
|
H A D | utf.c | 47 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 D | keyboard.c | 24 /* 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 D | string.c | 26 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 D | x86_32.S | 13 .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 D | x86_64.S | 12 .byte 0
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | base64.h | 50 /* 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 D | head.S | 280 * 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 D | keyboard_ps2.c | 22 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 D | shoehorn.py | 80 bytes.extend([byte for block in entry.get_blocks() for byte in block])
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | rpc-connector.c | 101 (* 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 D | snmpv3_mbedtls.c | 82 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 D | pico_ipv6.c | 195 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 D | pico_dns_common.c | 29 * 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 D | syscall_cp.s | 12 #r1: stack frame: 16 byte alignment.
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | decode.c | 175 /* 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 D | virtqueueScript.sml | 39 (* check if first byte of FFI array is FFI_SUCCESS (0) *)
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_dns_common.c | 1260 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 D | pppos.c | 139 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 D | mdns.c | 299 /* 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.
|