Home
last modified time | relevance | path

Searched refs:uint16_t (Results 1 – 25 of 36) sorted by relevance

12

/seL4-master/include/plat/pc99/plat/machine/
A Dio.h14 void out8(uint16_t port, uint8_t value);
16 void out16(uint16_t port, uint16_t value);
18 void out32(uint16_t port, uint32_t value);
20 uint8_t in8(uint16_t port);
22 uint16_t in16(uint16_t port);
24 uint32_t in32(uint16_t port);
27 void serial_init(uint16_t port);
/seL4-master/include/arch/x86/arch/64/mode/kernel/
A Delf.h14 uint16_t e_type;
15 uint16_t e_machine;
21 uint16_t e_ehsize;
22 uint16_t e_phentsize;
23 uint16_t e_phnum;
24 uint16_t e_shentsize;
25 uint16_t e_shnum;
26 uint16_t e_shstrndx;
/seL4-master/include/arch/x86/arch/32/mode/kernel/
A Delf.h16 uint16_t e_type; /* Relocatable=1, Executable=2 (+ some more ..) */
17 uint16_t e_machine; /* Target architecture: MIPS=8 */
23 uint16_t e_ehsize; /* ELF header size */
24 uint16_t e_phentsize; /* Size of one program segment header */
25 uint16_t e_phnum; /* Number of program segment headers */
26 uint16_t e_shentsize; /* Size of one section header */
27 uint16_t e_shnum; /* Number of section headers */
28 … uint16_t e_shstrndx; /* Section header index of the string table for section header names */
/seL4-master/src/arch/x86/object/
A Dioport.c52 void freeIOPortRange(uint16_t first_port, uint16_t last_port) in freeIOPortRange()
57 static bool_t isIOPortRangeFree(uint16_t first_port, uint16_t last_port) in isIOPortRangeFree()
90 static exception_t invokeX86PortControl(uint16_t first_port, uint16_t last_port, cte_t *ioportSlot,… in invokeX86PortControl()
112 uint16_t first_port; in decodeX86PortControlInvocation()
113 uint16_t last_port; in decodeX86PortControlInvocation()
169 static exception_t invokeX86PortIn(word_t invLabel, uint16_t port, bool_t call) in invokeX86PortIn()
215 static exception_t invokeX86PortOut(word_t invLabel, uint16_t port, uint32_t data) in invokeX86PortOut()
251 uint16_t port = getSyscallArg(0, buffer) & 0xffff; in decodeX86PortInvocation()
276 uint16_t port = getSyscallArg(0, buffer) & 0xffff; in decodeX86PortInvocation()
311 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set) in setIOPortMask()
A Dobjecttype.c148 uint16_t PCIDevice = io_space_capdata_get_PCIDevice(w); in Arch_updateCapData()
149 uint16_t domainID = io_space_capdata_get_domainID(w); in Arch_updateCapData()
551 uint16_t first_port = cap_io_port_cap_get_capIOPortFirstPort(cap); in Arch_postCapDeletion()
552 uint16_t last_port = cap_io_port_cap_get_capIOPortLastPort(cap); in Arch_postCapDeletion()
/seL4-master/include/arch/x86/arch/object/
A Dioport.h16 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set);
24 void freeIOPortRange(uint16_t first_port, uint16_t last_port);
A Dvcpu.h230 typedef uint16_t vpid_t;
351 void clearVPIDIOPortMappings(vpid_t vpid, uint16_t first, uint16_t last);
/seL4-master/include/machine/
A Ddebug.h34 uint16_t bp_num,
57 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num);
67 void unsetBreakpoint(tcb_t *t, uint16_t bp_num);
70 uint16_t bp_num,
/seL4-master/include/arch/x86/arch/machine/
A Ddebug.h53 static inline void setBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) in setBreakpointUsedFlag()
60 static inline void unsetBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) in unsetBreakpointUsedFlag()
118 uint16_t bp_num, in Arch_decodeConfigureSingleStepping()
131 uint16_t bp_num, word_t vaddr, word_t types, in Arch_decodeSetBreakpoint()
154 static inline syscall_error_t Arch_decodeGetBreakpoint(tcb_t *t, uint16_t bp_num) in Arch_decodeGetBreakpoint()
169 static inline syscall_error_t Arch_decodeUnsetBreakpoint(tcb_t *t, uint16_t bp_num) in Arch_decodeUnsetBreakpoint()
A Dfpu.h21 uint16_t cwd; /* control word */
22 uint16_t swd; /* status word */
23 uint16_t twd; /* tag word */
24 uint16_t fop; /* last instruction opcode */
/seL4-master/include/arch/x86/arch/kernel/
A Dmultiboot.h55 uint16_t vbe_mode;
56 uint16_t vbe_interface_seg;
57 uint16_t vbe_interface_off;
58 uint16_t vbe_interface_len;
A Dcmdline.h11 uint16_t console_port;
14 uint16_t debug_port;
/seL4-master/include/arch/arm/arch/machine/
A Ddebug.h113 static uint16_t convertBpNumToArch(uint16_t bp_num) in convertBpNumToArch()
121 static word_t getTypeFromBpNum(uint16_t bp_num) in getTypeFromBpNum()
129 uint16_t bp_num, in Arch_decodeConfigureSingleStepping()
182 uint16_t bp_num, word_t vaddr, word_t type, in Arch_decodeSetBreakpoint()
225 static inline syscall_error_t Arch_decodeGetBreakpoint(tcb_t *t, uint16_t bp_num) in Arch_decodeGetBreakpoint()
239 static inline syscall_error_t Arch_decodeUnsetBreakpoint(tcb_t *t, uint16_t bp_num) in Arch_decodeUnsetBreakpoint()
/seL4-master/src/arch/x86/machine/
A Dbreakpoint.c81 static void unsetDr7BitsFor(tcb_t *t, uint16_t bp_num) in unsetDr7BitsFor()
196 PURE static inline word_t convertSizeToArch(uint16_t bp_num, word_t type, word_t size) in convertSizeToArch()
240 PURE static inline word_t convertArchToSize(word_t dr7, uint16_t bp_num) in convertArchToSize()
292 static void enableBreakpoint(tcb_t *t, uint16_t bp_num) in enableBreakpoint()
320 static void disableBreakpoint(tcb_t *t, uint16_t bp_num) in disableBreakpoint()
348 static bool_t breakpointIsEnabled(tcb_t *t, uint16_t bp_num) in breakpointIsEnabled()
368 static void setBpVaddrContext(tcb_t *t, uint16_t bp_num, word_t vaddr) in setBpVaddrContext()
418 static word_t getBpVaddrContext(tcb_t *t, uint16_t bp_num) in getBpVaddrContext()
445 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num) in getBreakpoint()
467 void unsetBreakpoint(tcb_t *t, uint16_t bp_num) in unsetBreakpoint()
[all …]
/seL4-master/src/plat/pc99/machine/
A Dpit.c20 uint16_t divisor = (PIT_HZ * PIT_WRAPAROUND_MS) / 1000; in pit_init()
29 uint16_t count; in pit_wait_wraparound()
30 uint16_t count_old; in pit_wait_wraparound()
A Dpic.c42 uint16_t pic_port; in pic_mask_irq()
81 static uint16_t pic_get_isr(void) in pic_get_isr()
85 return (((uint16_t)in8(PIC2_BASE)) << 8) | in8(PIC1_BASE); in pic_get_isr()
A Dacpi.c33 uint16_t type;
34 uint16_t length;
50 uint16_t segment;
60 uint16_t reserved;
73 uint16_t reserved;
74 uint16_t segment;
124 uint16_t reserved;
147 uint16_t flags;
A Dio.c15 void serial_init(uint16_t port) in serial_init()
/seL4-master/src/arch/arm/machine/
A Ddebug.c175 _name(uint16_t bp_num) \
236 _name(uint16_t bp_num, word_t val) \
304 readBcrContext(tcb_t *t, uint16_t index) in DEBUG_GENERATE_READ_FN()
310 static word_t readBvrContext(tcb_t *t, uint16_t index) in readBvrContext()
316 static word_t readWcrContext(tcb_t *t, uint16_t index) in readWcrContext()
322 static word_t readWvrContext(tcb_t *t, uint16_t index) in readWvrContext()
485 static uint16_t getBpNumFromType(uint16_t bp_num, word_t type) in getBpNumFromType()
530 uint16_t bp_num, in setBreakpoint()
597 getBreakpoint_t getBreakpoint(tcb_t *t, uint16_t bp_num) in getBreakpoint()
632 void unsetBreakpoint(tcb_t *t, uint16_t bp_num) in unsetBreakpoint()
[all …]
/seL4-master/src/arch/x86/model/
A Dstatedata.c61 uint16_t x86KSconsolePort;
64 uint16_t x86KSdebugPort;
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h82 extern uint16_t x86KSconsolePort;
85 extern uint16_t x86KSdebugPort;
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Ddebug.h176 static inline void setBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) in setBreakpointUsedFlag()
183 static inline void unsetBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) in unsetBreakpointUsedFlag()
/seL4-master/include/
A Dstdint.h12 typedef unsigned short uint16_t; typedef
/seL4-master/include/arch/x86/arch/
A Dtypes.h31 typedef uint16_t seL4_Uint16;
/seL4-master/include/arch/arm/arch/
A Dtypes.h37 typedef uint16_t seL4_Uint16;

Completed in 43 milliseconds

12