Searched refs:uint32_t (Results 1 - 25 of 1085) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/musllibc/arch/generic/bits/
H A Dlink.h1 typedef uint32_t Elf_Symndx;
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtimer.h26 uint32_t upcounter: 1;
29 uint32_t timeouts: 1;
32 uint32_t absolute_timeouts: 1;
33 uint32_t relative_timeouts: 1;
34 uint32_t periodic_timeouts: 1;
37 uint32_t bit_width: 7;
40 uint32_t irqs;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/clock/
H A Dexynos_5422_clock.h17 volatile uint32_t pll_lock[64]; /* 0x000 */
18 volatile uint32_t pll_con[64]; /* 0x100 */
19 volatile uint32_t src[64]; /* 0x200 */
20 volatile uint32_t srcmask[64]; /* 0x300 */
21 volatile uint32_t srcstat[64]; /* 0x400 */
22 volatile uint32_t div[64]; /* 0x500 */
23 volatile uint32_t divstat[64]; /* 0x600 */
24 volatile uint32_t gate[128]; /* 0x700 */
25 volatile uint32_t clkout; /* 0xA00 */
26 volatile uint32_t spar
[all...]
H A Dexynos_common_clock.h17 volatile uint32_t pll_lock[64]; /* 0x000 */
18 volatile uint32_t pll_con[64]; /* 0x100 */
19 volatile uint32_t src[64]; /* 0x200 */
20 volatile uint32_t srcmask[64]; /* 0x300 */
21 volatile uint32_t srcstat[64]; /* 0x400 */
22 volatile uint32_t div[64]; /* 0x500 */
23 volatile uint32_t divstat[128]; /* 0x600 */
24 volatile uint32_t gate[64]; /* 0x800 */
25 volatile uint32_t clkout; /* 0xA00 */
26 volatile uint32_t clkout_divsta
[all...]
/seL4-camkes-master/kernel/include/plat/tk1/plat/machine/
H A Dsmmu.h21 uint32_t intstatus; /* 0x00 */
22 uint32_t intmask; /* 0x04 */
23 uint32_t err_status; /* 0x08 */
24 uint32_t err_adr; /* 0x0c */
25 uint32_t smmu_config; /* 0x10 */
26 uint32_t smmu_tlb_config; /* 0x14 */
27 uint32_t smmu_ptc_config; /* 0x18 */
28 uint32_t smmu_ptb_asid; /* 0x1c */
29 uint32_t smmu_ptb_data; /* 0x20 */
30 uint32_t reserved
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Ddevcfg.h29 uint32_t ctrl; // 0x0000 Control
30 uint32_t lock; // 0x0004 Lock
31 uint32_t cfg; // 0x0008 Configuration
32 uint32_t int_sts; // 0x000c Interrupt Status
33 uint32_t int_mask; // 0x0010 Interrupt Mask
34 uint32_t status; // 0x0014 Status
35 uint32_t dma_src_addr; // 0x0018 DMA Source Address
36 uint32_t dma_dst_addr; // 0x001c DMA Destination Address
37 uint32_t dma_src_len; // 0x0020 DMA Source Length
38 uint32_t dma_dest_le
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dmux.c37 uint32_t gpr0; /* +0x000 */
38 uint32_t gpr1; /* +0x004 */
39 uint32_t gpr2; /* +0x008 */
40 uint32_t gpr3; /* +0x00C */
41 uint32_t gpr4; /* +0x010 */
42 uint32_t gpr5; /* +0x014 */
43 uint32_t gpr6; /* +0x018 */
44 uint32_t gpr7; /* +0x01C */
45 uint32_t gpr8; /* +0x020 */
46 uint32_t gpr
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch_include/camkes/arch/
H A Dio.h20 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result);
22 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dmux.h34 uint32_t con;
35 uint32_t dat;
36 uint32_t pud;
37 uint32_t drv;
38 uint32_t conpdn;
39 uint32_t pudpdn;
40 uint32_t res[2];
45 uint32_t res0[272]; /* 0x2C0 */
46 uint32_t ext_int_con[22]; /* 0x700 */
47 uint32_t res
[all...]
/seL4-camkes-master/tools/seL4/elfloader-tool/include/
H A Dfdt.h9 uint32_t fdt_size(void *fdt);
/seL4-camkes-master/kernel/include/drivers/timer/
H A Dimx31-epit.h11 uint32_t epitcr;
12 uint32_t epitsr;
13 uint32_t epitlr;
14 uint32_t epitcmpr;
15 uint32_t epitcnt;
H A Darm_priv.h13 uint32_t load;
14 uint32_t count;
15 uint32_t ctrl;
16 uint32_t ints;
H A Dallwinner.h12 uint32_t tmr_irq_en_reg; /* Timer IRQ Enable Register 0x00 */
13 uint32_t tmr_irq_sta_reg; /* Timer Status Register 0x04 */
14 uint32_t tmr_reserved01[2];
15 uint32_t tmr0_ctrl_reg; /* Timer 0 Control Register 0x10 */
16 uint32_t tmr0_intv_value_reg; /* Timer 0 Interval Value Register 0x14 */
17 uint32_t tmr0_cur_value_reg; /* Timer 0 Current Value Register 0x18 */
H A Domap3430.h15 uint32_t tidr; /* GPTIMER_TIDR 0x00 */
16 uint32_t padding1[3];
17 uint32_t cfg; /* GPTIMER_CFG 0x10 */
18 uint32_t tistat; /* GPTIMER_TISTAT 0x14 */
19 uint32_t tisr; /* GPTIMER_TISR 0x18 */
20 uint32_t tier; /* GPTIMER_TIER 0x1C */
21 uint32_t twer; /* GPTIMER_TWER 0x20 */
22 uint32_t tclr; /* GPTIMER_TCLR 0x24 */
23 uint32_t tcrr; /* GPTIMER_TCRR 0x28 */
24 uint32_t tld
[all...]
H A Dmct.h61 uint32_t reserved0[64];
62 uint32_t cntl; /* 0x100 Low word of count */
63 uint32_t cnth; /* 0x104 High word of count */
64 uint32_t reserved1[1];
65 uint32_t cnt_wstat; /* 0x110 Write status for cnt */
66 uint32_t reserved2[60];
68 uint32_t comp0l; /* 0x200 Low word of Compare value */
69 uint32_t comp0h; /* 0x204 High word of Compare value*/
70 uint32_t comp0_add_inc; /* 0x208 Low word of Automatic increment amount */
71 uint32_t comp0_re
[all...]
/seL4-camkes-master/tools/seL4/elfloader-tool/src/
H A Dfdt.c13 uint32_t magic;
14 uint32_t totalsize;
15 uint32_t off_dt_struct;
16 uint32_t off_dt_strings;
17 uint32_t off_mem_rsvmap;
18 uint32_t version;
19 uint32_t last_comp_version;
20 uint32_t boot_cpuid_phys;
21 uint32_t size_dt_strings;
22 uint32_t size_dt_struc
[all...]
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/kernel/
H A Delf.h18 uint32_t e_version; /* Elf version (should be 1) */
19 uint32_t e_entry; /* Code entry point */
20 uint32_t e_phoff; /* Program header table */
21 uint32_t e_shoff; /* Section header table */
22 uint32_t e_flags; /* Flags */
33 uint32_t p_type; /* Segment type: Loadable segment = 1 */
34 uint32_t p_offset; /* Offset of segment in file */
35 uint32_t p_vaddr; /* Reqd virtual address of segment when loading */
36 uint32_t p_paddr; /* Reqd physical address of segment (ignore) */
37 uint32_t p_files
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/
H A Dio.c15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result)
21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val)
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/
H A Dio.c15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result)
21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val)
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_mm.h19 * A maximum amount of memory of uint32_t memsize can be allocated
21 void pico_mem_init(uint32_t memsize);
28 * Zero-initialized malloc function, will reserve a memory segment of length uint32_t len
45 void pico_mem_cleanup(uint32_t timestamp);
58 uint32_t free_heap_space;
59 uint32_t free_slab_space;
60 uint32_t used_heap_space;
61 uint32_t used_slab_space;
83 uint32_t pico_mem_profile_used_size(void);
95 void pico_mem_init_profiling(void*manager, uint32_t memsiz
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dfacs.h18 uint32_t length;
19 uint32_t hardware_sig;
20 uint32_t firmware_walking_vector;
21 uint32_t global_lock;
22 uint32_t flags;
26 uint32_t ospm_flags;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/polarfire/platsupport/plat/
H A Dserial.h40 uint32_t rx_buffer;
41 uint32_t tx_buffer;
42 uint32_t divisor_latch_lsb;
45 uint32_t interrupt_enable;
46 uint32_t divisor_latch_msb;
49 uint32_t interrupt_id;
50 uint32_t fifo_control;
52 uint32_t line_control ;
53 uint32_t modem_control ;
54 uint32_t line_statu
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Docotp_ctrl.c64 uint32_t ctrl; /* 000 */
65 uint32_t ctrl_set; /* 004 */
66 uint32_t ctrl_clr; /* 008 */
67 uint32_t ctrl_tog; /* 00C */
68 uint32_t timing; /* 010 */
69 uint32_t res1[3]; /* 014 */
70 uint32_t data; /* 020 */
71 uint32_t res2[3]; /* 024 */
72 uint32_t read_ctrl; /* 030 */
73 uint32_t res
[all...]
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h17 uint32_t start;
18 uint32_t end;
19 uint32_t name;
20 uint32_t reserved;
24 uint32_t size;
27 uint32_t type;
33 uint32_t flags;
34 uint32_t mem_lower;
35 uint32_t mem_upper;
36 uint32_t boot_devic
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dimx-regs.h186 uint32_t scr;
187 uint32_t sbmr1;
188 uint32_t srsr;
189 uint32_t reserved1[2];
190 uint32_t sisr;
191 uint32_t simr;
192 uint32_t sbmr2;
193 uint32_t gpr1;
194 uint32_t gpr2;
195 uint32_t gpr
[all...]

Completed in 132 milliseconds

1234567891011>>