/seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | gpt.h | 32 /* prescaler to scale time by. 0 = divide by 1. 1 = divide by 2. ...*/ 33 uint32_t prescaler; member in struct:__anon2 45 uint32_t prescaler; member in struct:gpt
|
H A D | epit.h | 34 /* prescaler to scale time by. 0 = divide by 1. 1 = divide by 2. ...*/ 35 uint32_t prescaler; member in struct:__anon1 46 uint32_t prescaler; member in struct:epit
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | gpt.h | 32 /* prescaler to scale time by. 0 = divide by 1. 1 = divide by 2. ...*/ 33 uint32_t prescaler; member in struct:__anon12 45 uint32_t prescaler; member in struct:gpt
|
H A D | epit.h | 34 /* prescaler to scale time by. 0 = divide by 1. 1 = divide by 2. ...*/ 35 uint32_t prescaler; member in struct:__anon11 46 uint32_t prescaler; member in struct:epit
|
/seL4-refos-master/libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 41 /* Enable prescaler */ 208 static bool gpt_ok_prescaler(uint32_t prescaler) argument 210 if (prescaler > 7) { 211 ZF_LOGE("Prescaler value set too large for device, value: %d, max 7", prescaler); 243 /* set prescaler */ 244 if (gpt->prescaler > 0) { 245 gpt->gpt_map->tclr = (gpt->prescaler << PTV); /* Set the prescaler */ 246 gpt->gpt_map->tclr |= BIT(PRE); /* Enable the prescaler */ 261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler [all...] |
H A D | ltimer.c | 133 .prescaler = 1,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | gpt.c | 41 /* Enable prescaler */ 208 static bool gpt_ok_prescaler(uint32_t prescaler) argument 210 if (prescaler > 7) { 211 ZF_LOGE("Prescaler value set too large for device, value: %d, max 7", prescaler); 243 /* set prescaler */ 244 if (gpt->prescaler > 0) { 245 gpt->gpt_map->tclr = (gpt->prescaler << PTV); /* Set the prescaler */ 246 gpt->gpt_map->tclr |= BIT(PRE); /* Enable the prescaler */ 261 uint64_t ticks = gpt_ns_to_ticks(ns) / BIT(gpt->prescaler [all...] |
H A D | ltimer.c | 133 .prescaler = 1,
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 90 * prescaler and subsequently be used to run the GPT counter. 169 /* gpt prescaler register */ 235 uint64_t ns = (value / (uint64_t)GPT_FREQ) * NS_IN_US * (gpt->prescaler + 1); 275 gpt->prescaler = config.prescaler; 331 /* The prescaler register has two parts when the 24 MHz clocksource is used. 335 * For unknown reason, when the prescaler for the 24MHz clock is set to zero, which 341 gpt->gpt_map->gptpr = config.prescaler | (1u << 12); 343 gpt->gpt_map->gptpr = config.prescaler; /* Set the prescaler */ [all...] |
/seL4-refos-master/libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | timer.h | 58 .prescaler = GPT_PRESCALER 86 .prescaler = 0
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | timer.h | 58 .prescaler = GPT_PRESCALER 86 .prescaler = 0
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 90 * prescaler and subsequently be used to run the GPT counter. 169 /* gpt prescaler register */ 235 uint64_t ns = (value / (uint64_t)GPT_FREQ) * NS_IN_US * (gpt->prescaler + 1); 275 gpt->prescaler = config.prescaler; 331 /* The prescaler register has two parts when the 24 MHz clocksource is used. 335 * For unknown reason, when the prescaler for the 24MHz clock is set to zero, which 341 gpt->gpt_map->gptpr = config.prescaler | (1u << 12); 343 gpt->gpt_map->gptpr = config.prescaler; /* Set the prescaler */ [all...] |
/seL4-refos-master/libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 38 /* prescaler to scale time by. 0 = divide by 1. 1 = divide by 2. ...*/ 39 uint32_t prescaler; member in struct:__anon7 54 uint32_t prescaler; member in struct:gpt
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/ |
H A D | gpt.h | 38 /* prescaler to scale time by. 0 = divide by 1. 1 = divide by 2. ...*/ 39 uint32_t prescaler; member in struct:__anon20 54 uint32_t prescaler; member in struct:gpt
|
/seL4-refos-master/libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
H A D | timer.h | 54 .prescaler = 0, 94 .prescaler = GPT_PRESCALER 126 .prescaler = 0
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
H A D | timer.h | 54 .prescaler = 0, 94 .prescaler = GPT_PRESCALER 126 .prescaler = 0
|
/seL4-refos-master/libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
H A D | spt.h | 39 uint32_t prescaler; member in struct:__anon510
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
H A D | spt.h | 39 uint32_t prescaler; member in struct:__anon941
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 53 * Bits 4 - 15 determine the prescaler value by which the clock is divided 56 * The prescaler used is the value in these bits + 1. ie: 125 (epit->prescaler << PRESCALER) | /* Set the prescaler */ 151 uint64_t counterValue = (uint64_t)(IPG_FREQ / (epit->prescaler + 1)) * (ns / 1000ULL); 165 return (ticks * 1000llu) / (IPG_FREQ / (epit->prescaler + 1)); 231 epit->prescaler = config.prescaler;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 53 * Bits 4 - 15 determine the prescaler value by which the clock is divided 56 * The prescaler used is the value in these bits + 1. ie: 125 (epit->prescaler << PRESCALER) | /* Set the prescaler */ 151 uint64_t counterValue = (uint64_t)(IPG_FREQ / (epit->prescaler + 1)) * (ns / 1000ULL); 165 return (ticks * 1000llu) / (IPG_FREQ / (epit->prescaler + 1)); 231 epit->prescaler = config.prescaler;
|
/seL4-refos-master/libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
H A D | timer.h | 61 .prescaler = GPT_PRESCALER
|
/seL4-refos-master/libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
H A D | timer.h | 67 .prescaler = GPT_PRESCALER
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
H A D | timer.h | 61 .prescaler = GPT_PRESCALER
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
H A D | timer.h | 67 .prescaler = GPT_PRESCALER
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | device_timer.c | 212 config.prescaler = 0; 226 econfig.prescaler = 0;
|