Searched refs:uint16_t (Results 1 - 25 of 46) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dio.h19 void out8(uint16_t port, uint8_t value);
21 void out16(uint16_t port, uint16_t value);
23 void out32(uint16_t port, uint32_t value);
25 uint8_t in8(uint16_t port);
27 uint16_t in16(uint16_t port);
29 uint32_t in32(uint16_t port);
32 void serial_init(uint16_t port);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/kernel/
H A Delf.h22 uint16_t e_type; /* Relocatable=1, Executable=2 (+ some more ..) */
23 uint16_t e_machine; /* Target architecture: MIPS=8 */
29 uint16_t e_ehsize; /* ELF header size */
30 uint16_t e_phentsize; /* Size of one program segment header */
31 uint16_t e_phnum; /* Number of program segment headers */
32 uint16_t e_shentsize; /* Size of one section header */
33 uint16_t e_shnum; /* Number of section headers */
34 uint16_t e_shstrndx; /* Section header index of the string table for section header names */
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/
H A Delf.h21 uint16_t e_type;
22 uint16_t e_machine;
28 uint16_t e_ehsize;
29 uint16_t e_phentsize;
30 uint16_t e_phnum;
31 uint16_t e_shentsize;
32 uint16_t e_shnum;
33 uint16_t e_shstrndx;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dcmdline.h18 uint16_t console_port;
21 uint16_t debug_port;
H A Dmultiboot.h61 uint16_t vbe_mode;
62 uint16_t vbe_interface_seg;
63 uint16_t vbe_interface_off;
64 uint16_t vbe_interface_len;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Dioport.h21 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set);
27 void freeIOPortRange(uint16_t first_port, uint16_t last_port);
/seL4-l4v-10.1.1/seL4/include/machine/
H A Ddebug.h41 uint16_t bp_num,
64 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num);
74 void unsetBreakpoint(tcb_t *t, uint16_t bp_num);
77 uint16_t bp_num,
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dpit.c25 uint16_t divisor = (PIT_HZ * PIT_WRAPAROUND_MS) / 1000;
35 uint16_t count;
36 uint16_t count_old;
H A Dpic.c47 uint16_t pic_port;
86 static uint16_t pic_get_isr(void)
90 return (((uint16_t)in8(PIC2_BASE)) << 8) | in8(PIC1_BASE);
H A Dio.c19 serial_init(uint16_t port)
H A Dacpi.c37 uint16_t type;
38 uint16_t length;
54 uint16_t segment;
64 uint16_t reserved;
77 uint16_t reserved;
78 uint16_t segment;
128 uint16_t reserved;
151 uint16_t flags;
/seL4-l4v-10.1.1/seL4/include/
H A Dstdint.h17 typedef unsigned short uint16_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Ddebug.h61 setBreakpointUsedFlag(tcb_t *t, uint16_t bp_num)
69 unsetBreakpointUsedFlag(tcb_t *t, uint16_t bp_num)
130 uint16_t bp_num,
144 uint16_t bp_num, word_t vaddr, word_t types,
168 Arch_decodeGetBreakpoint(tcb_t *t, uint16_t bp_num)
184 Arch_decodeUnsetBreakpoint(tcb_t *t, uint16_t bp_num)
H A Dfpu.h26 uint16_t cwd; /* control word */
27 uint16_t swd; /* status word */
28 uint16_t twd; /* tag word */
29 uint16_t fop; /* last instruction opcode */
/seL4-l4v-10.1.1/seL4/src/arch/x86/model/
H A Dstatedata.c65 uint16_t x86KSconsolePort;
68 uint16_t x86KSdebugPort;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Ddebug.h121 static uint16_t
122 convertBpNumToArch(uint16_t bp_num)
131 getTypeFromBpNum(uint16_t bp_num)
140 uint16_t bp_num,
194 uint16_t bp_num, word_t vaddr, word_t type,
238 Arch_decodeGetBreakpoint(tcb_t *t, uint16_t bp_num)
253 Arch_decodeUnsetBreakpoint(tcb_t *t, uint16_t bp_num)
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dioport.c60 freeIOPortRange(uint16_t first_port, uint16_t last_port)
66 isIOPortRangeFree(uint16_t first_port, uint16_t last_port)
100 invokeX86PortControl(uint16_t first_port, uint16_t last_port, cte_t *ioportSlot, cte_t *controlSlot)
124 uint16_t first_port;
125 uint16_t last_port;
182 invokeX86PortIn(word_t invLabel, uint16_t port, bool_t call)
229 invokeX86PortOut(word_t invLabel, uint16_t por
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dtypes.h39 typedef uint16_t seL4_Uint16;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dhuge_struct.c19 uint16_t c;
31 uint16_t o;
43 uint16_t aa;
55 uint16_t mm;
73 uint16_t ui16_1,
85 uint16_t ui16_2,
97 uint16_t ui16_3,
109 uint16_t ui16_4,
162 uint16_t ui16_1 = *(uint16_t*)arg
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dbreakpoint.c93 unsetDr7BitsFor(tcb_t *t, uint16_t bp_num)
125 convertTypeAndAccessToArch(uint16_t bp_num, word_t type, word_t rw)
163 convertArchToTypeAndAccess(word_t dr7, uint16_t bp_num)
211 convertSizeToArch(uint16_t bp_num, word_t type, word_t size)
256 convertArchToSize(word_t dr7, uint16_t bp_num)
309 enableBreakpoint(tcb_t *t, uint16_t bp_num)
338 disableBreakpoint(tcb_t *t, uint16_t bp_num)
367 breakpointIsEnabled(tcb_t *t, uint16_t bp_num)
388 setBpVaddrContext(tcb_t *t, uint16_t bp_num, word_t vaddr)
424 uint16_t bp_nu
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dtypes.h45 typedef uint16_t seL4_Uint16;
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DDataIn.c36 uint16_t typedef
114 uint16_t
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/
H A Dstatedata.h87 extern uint16_t x86KSconsolePort;
90 extern uint16_t x86KSdebugPort;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Ddebug.h188 setBreakpointUsedFlag(tcb_t *t, uint16_t bp_num)
196 unsetBreakpointUsedFlag(tcb_t *t, uint16_t bp_num)
/seL4-l4v-10.1.1/seL4/src/arch/arm/machine/
H A Ddebug.c183 _name(uint16_t bp_num) \
244 _name(uint16_t bp_num, word_t val) \
312 readBcrContext(tcb_t *t, uint16_t index)
319 readBvrContext(tcb_t *t, uint16_t index)
326 readWcrContext(tcb_t *t, uint16_t index)
333 readWvrContext(tcb_t *t, uint16_t index)
340 writeBcrContext(tcb_t *t, uint16_t index, word_t val)
347 writeBvrContext(tcb_t *t, uint16_t index, word_t val)
354 writeWcrContext(tcb_t *t, uint16_t index, word_t val)
361 writeWvrContext(tcb_t *t, uint16_t inde
[all...]

Completed in 207 milliseconds

12