/seL4-camkes-master/kernel/include/ |
H A D | stdint.h | 17 typedef signed short int16_t; typedef
|
/seL4-camkes-master/tools/rumprun/include/bmk-core/ |
H A D | types.h | 33 typedef __INT16_TYPE__ int16_t; typedef
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | gnttab.h | 13 const char *gnttabop_error(int16_t status);
|
/seL4-camkes-master/tools/seL4/elfloader-tool/include/ |
H A D | types.h | 10 typedef short int16_t; typedef
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_vkey.h | 24 int16_t ch; 25 int16_t uppercase; 26 int16_t ctrlchar; 38 void (*handle_keyevent_callback)(int16_t vkey, bool pressed, void *cookie); 338 void (*handle_keyevent_callback)(int16_t vkey, bool pressed, void *cookie), 347 int16_t keycode_info_char_modifier(keycode_info_t *info, bool ctrl, bool shift); 349 int16_t keycode_info_char(keycode_state_t *s, keycode_info_t *info); 351 int16_t keycode_ps2_to_vkey(int32_t ps2_keycode); 356 int16_t keycode_process_vkey_event_to_char(keycode_state_t *s, int32_t vkey, bool pressed,
|
H A D | keyboard_ps2.h | 52 int16_t vkey;
|
H A D | keyboard_ps2.c | 123 int16_t vkey = keycode_ps2_to_vkey(ps2_keyevent);
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | unimplemented.h | 43 typedef int16_t s16;
|
/seL4-camkes-master/projects/util_libs/liblwip/include/lwip/arch/ |
H A D | cc.h | 9 typedef int16_t s16_t;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.h | 35 int16_t isr_count;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | pack.h | 65 static int msgpack_pack_int16(msgpack_packer* pk, int16_t d); 74 static int msgpack_pack_fix_int16(msgpack_packer* pk, int16_t d);
|
H A D | pack.hpp | 142 packer<Stream>& pack_int16(int16_t d); 238 packer<Stream>& pack_fix_int16(int16_t d); 728 inline packer<Stream>& packer<Stream>::pack_int16(int16_t d) 784 inline packer<Stream>& packer<Stream>::pack_fix_int16(int16_t d) 1470 buf[0] = static_cast<char>(0xd1u); _msgpack_store16(&buf[1], static_cast<int16_t>(d)); 1508 buf[0] = static_cast<char>(0xd1u); _msgpack_store16(&buf[1], static_cast<int16_t>(d)); 1559 buf[0] = static_cast<char>(0xd1u); _msgpack_store16(&buf[1], static_cast<int16_t>(d));
|
H A D | sysdep.h | 20 typedef __int16 int16_t; typedef
|
H A D | pack_template.h | 146 buf[0] = 0xd1; _msgpack_store16(&buf[1], (int16_t)d); \ 181 buf[0] = 0xd1; _msgpack_store16(&buf[1], (int16_t)d); \ 229 buf[0] = 0xd1; _msgpack_store16(&buf[1], (int16_t)d); \ 304 msgpack_pack_inline_func_fixint(_int16)(msgpack_pack_user x, int16_t d) 354 msgpack_pack_inline_func(_int16)(msgpack_pack_user x, int16_t d)
|
H A D | unpack_template.h | 292 int16_t tmp; 293 _msgpack_load16(int16_t,n,&tmp);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | msgpack_stream.cpp | 140 GEN_TEST_STREAM(int16_t);
|
H A D | msgpack_vref.cpp | 138 GEN_TEST_VREF(int16_t, vbuf); 253 GEN_TEST_VREF(int16_t, vbuf);
|
/seL4-camkes-master/projects/musllibc/include/ |
H A D | stdint.h | 26 typedef int16_t int_least16_t;
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | unprivileged_memory.h | 40 DECLARE_UNPRIVILEGED_LOAD_FUNCTION(int16_t, lh)
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | unimplemented.h | 64 typedef int16_t s16;
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | gnttab.c | 166 gnttabop_error(int16_t status)
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | unimplemented.h | 63 typedef int16_t s16;
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | arch.h | 128 typedef int16_t s16_t;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/ |
H A D | fixint.hpp | 46 typedef fix_int<int16_t> fix_int16; 64 { v = type::detail::convert_integer<int16_t>(o); return o; }
|
/seL4-camkes-master/projects/projects_libs/libplatsupportports/src/plat/tx2/ |
H A D | mux.c | 138 int16_t gpio_pin, mux_reg_offset;
|