Searched refs:cfg (Results 1 – 15 of 15) sorted by relevance
| /seL4-master/src/drivers/timer/ |
| A D | am335x-timer.c | 102 SET_REGISTER(timer->cfg, TIOCP_CFG_SOFTRESET); in initTimer()
108 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--); in initTimer()
141 timer->cfg = TIOCP_CFG_SOFTRESET; in initTimer()
143 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--) in initTimer()
|
| A D | omap3430-timer.c | 34 timer->cfg = TIOCP_CFG_SOFTRESET; in initTimer()
61 timer->cfg = TIOCP_CFG_SOFTRESET; in initTimer()
|
| /seL4-master/src/drivers/smmu/ |
| A D | smmuv2.c | 377 static void smmu_config_stage2(struct smmu_table_config *cfg, in smmu_config_stage2() argument
398 cfg->tcr[0] = reg; in smmu_config_stage2()
400 cfg->ttbr[0] = ttbr_new(0, pptr_to_paddr(vspace)).words[0]; in smmu_config_stage2()
403 static void smmu_config_stage1(struct smmu_table_config *cfg, in smmu_config_stage1() argument
424 cfg->tcr[0] = reg; in smmu_config_stage1()
449 cfg->tcr[1] = reg; in smmu_config_stage1()
455 cfg->mair[0] = reg; in smmu_config_stage1()
458 cfg->mair[1] = reg; in smmu_config_stage1()
461 cfg->ttbr[0] = ttbr_new(asid, pptr_to_paddr(vspace)).words[0]; in smmu_config_stage1()
462 cfg->ttbr[1] = 0; in smmu_config_stage1()
|
| /seL4-master/tools/ |
| A D | hardware_gen.py | 52 cfg = hardware.config.get_arch_config(args.arch, args.addrspace_max)
57 hw_yaml = HardwareYaml(rules, cfg)
62 OUTPUTS[t].run(parsed_dt, hw_yaml, cfg, args)
|
| /seL4-master/include/drivers/timer/ |
| A D | omap3430.h | 17 uint32_t cfg; /* GPTIMER_CFG 0x10 */ member
|
| A D | am335x.h | 17 uint32_t cfg; // 10h TIOCP_CFG Timer OCP Configuration Register member
|
| /seL4-master/tools/dts/ |
| A D | tk1.dts | 2428 nvidia,emc-cfg-2 = < 0x8c5 >;
2450 nvidia,emc-cfg-2 = < 0x8c5 >;
2472 nvidia,emc-cfg-2 = < 0x8c5 >;
2494 nvidia,emc-cfg-2 = < 0x8c5 >;
2516 nvidia,emc-cfg-2 = < 0x8c5 >;
2538 nvidia,emc-cfg-2 = < 0x8cd >;
2560 nvidia,emc-cfg-2 = < 0x8d5 >;
2582 nvidia,emc-cfg-2 = < 0x895 >;
2604 nvidia,emc-cfg-2 = < 0x89d >;
2626 nvidia,emc-cfg-2 = < 0x89d >;
[all …]
|
| A D | odroidc2.dts | 695 cfg-pull-down {
742 cfg-pull-down {
763 cfg-pull-down {
|
| A D | ultra96.dts | 536 reg-names = "breg\0pcireg\0cfg";
|
| A D | zynqmp.dts | 858 reg-names = "breg\0pcireg\0cfg";
|
| A D | apq8064.dts | 1603 clock-names = "cfg";
|
| A D | tqma8xqp1gb.dts | 611 clock-dc-cfg {
2920 hsio-cfg = <0x3>;
|
| A D | odroidc4.dts | 138 reg-names = "elbi\0cfg\0config";
|
| A D | imx8mm-evk.dts | 1686 clock-names = "cfg\0pll-ref";
|
| A D | tx2.dts | 2907 reg-names = "sce-evp","sce-pm","sce-cfg","ast-cpu","ast-dma";
2912 …bgresetn","sce-presetdbgn","sce-actmon","sce-dma","sce-tke","sce-gte","sce-cfg","sce-nreset","sce-…
|
Completed in 40 milliseconds