/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
H A D | io.h | 19 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 D | elf.h | 22 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 D | elf.h | 21 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 D | cmdline.h | 18 uint16_t console_port; 21 uint16_t debug_port;
|
H A D | multiboot.h | 61 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 D | ioport.h | 21 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 D | debug.h | 41 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 D | pit.c | 25 uint16_t divisor = (PIT_HZ * PIT_WRAPAROUND_MS) / 1000; 35 uint16_t count; 36 uint16_t count_old;
|
H A D | pic.c | 47 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 D | io.c | 19 serial_init(uint16_t port)
|
H A D | acpi.c | 37 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 D | stdint.h | 17 typedef unsigned short uint16_t; typedef
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ |
H A D | debug.h | 61 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 D | fpu.h | 26 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 D | statedata.c | 65 uint16_t x86KSconsolePort; 68 uint16_t x86KSdebugPort;
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
H A D | debug.h | 121 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 D | ioport.c | 60 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 D | types.h | 39 typedef uint16_t seL4_Uint16;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | huge_struct.c | 19 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 D | breakpoint.c | 93 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 D | types.h | 45 typedef uint16_t seL4_Uint16;
|
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
H A D | DataIn.c | 36 uint16_t typedef 114 uint16_t
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/ |
H A D | statedata.h | 87 extern uint16_t x86KSconsolePort; 90 extern uint16_t x86KSdebugPort;
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/ |
H A D | debug.h | 188 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 D | debug.c | 183 _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...] |