/seL4-camkes-master/projects/musllibc/arch/generic/bits/ |
H A D | link.h | 1 typedef uint32_t Elf_Symndx;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | timer.h | 26 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 D | exynos_5422_clock.h | 17 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 D | exynos_common_clock.h | 17 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 D | smmu.h | 21 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 D | devcfg.h | 29 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 D | mux.c | 37 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 D | io.h | 20 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 D | mux.h | 34 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 D | fdt.h | 9 uint32_t fdt_size(void *fdt);
|
/seL4-camkes-master/kernel/include/drivers/timer/ |
H A D | imx31-epit.h | 11 uint32_t epitcr; 12 uint32_t epitsr; 13 uint32_t epitlr; 14 uint32_t epitcmpr; 15 uint32_t epitcnt;
|
H A D | arm_priv.h | 13 uint32_t load; 14 uint32_t count; 15 uint32_t ctrl; 16 uint32_t ints;
|
H A D | allwinner.h | 12 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 D | omap3430.h | 15 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 D | mct.h | 61 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 D | fdt.c | 13 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 D | elf.h | 18 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 D | io.c | 15 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 D | io.c | 15 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 D | pico_mm.h | 19 * 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 D | facs.h | 18 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 D | serial.h | 40 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 D | ocotp_ctrl.c | 64 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 D | multiboot.h | 17 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 D | imx-regs.h | 186 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...] |