Searched refs:high_bits (Results 1 - 22 of 22) sorted by relevance

/seL4-refos-master/kernel/include/drivers/timer/
H A Dimx31-gpt.h34 extern ticks_t high_bits;
38 return ((high_bits + !!(gpt->gptsr & BIT(ROV))) << 32llu) + gpt->gptcnt;
56 high_bits++;
H A Dam335x.h41 extern uint32_t high_bits;
47 return ((((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr);
70 high_bits++;
H A Domap3430.h41 /* this is a 32-bit timer, track high_bits here */
42 extern uint32_t high_bits;
54 return (((uint64_t) high_bits + overflow) << 32llu) + timer->tcrr;
62 high_bits++;
/seL4-refos-master/libs/libplatsupport/src/mach/imx/
H A Dgpt.c192 gpt->high_bits = 0;
200 gpt->high_bits = 0;
212 gpt->high_bits++;
227 uint32_t high_bits = gpt->high_bits; local
230 high_bits++;
233 uint64_t value = ((uint64_t) high_bits << 32llu) + low_bits;
346 gpt->high_bits = 0;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c192 gpt->high_bits = 0;
200 gpt->high_bits = 0;
212 gpt->high_bits++;
227 uint32_t high_bits = gpt->high_bits; local
230 high_bits++;
233 uint64_t value = ((uint64_t) high_bits << 32llu) + low_bits;
346 gpt->high_bits = 0;
/seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Dgpt.h46 uint32_t high_bits; member in struct:gpt
H A Depit.h48 uint64_t high_bits; member in struct:epit
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Dgpt.h46 uint32_t high_bits; member in struct:gpt
H A Depit.h48 uint64_t high_bits; member in struct:epit
/seL4-refos-master/kernel/src/drivers/timer/
H A Dimx31-gpt.c23 ticks_t high_bits = 0; variable
H A Domap3430-timer.c30 uint32_t high_bits = 0; variable
H A Dam335x-timer.c94 uint32_t high_bits = 0; variable
/seL4-refos-master/libs/libplatsupport/mach_include/omap/platsupport/mach/
H A Dgpt.h55 uint32_t high_bits; member in struct:gpt
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/omap/platsupport/mach/
H A Dgpt.h55 uint32_t high_bits; member in struct:gpt
/seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/
H A Depit.c163 uint64_t ticks = (epit->high_bits + !!epit->epit_map->epitsr) << 32llu;
176 epit->high_bits++;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c163 uint64_t ticks = (epit->high_bits + !!epit->epit_map->epitsr) << 32llu;
176 epit->high_bits++;
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py297 ret |= 0x%(high_bits)x;
310 ret |= 0x%(high_bits)x;
319 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
329 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
365 ret |= 0x%(high_bits)x;
382 ret |= 0x%(high_bits)x;
393 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)
[all...]
/seL4-refos-master/kernel/libsel4/tools/
H A Dbitfield_gen.py297 ret |= 0x%(high_bits)x;
310 ret |= 0x%(high_bits)x;
319 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
329 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
365 ret |= 0x%(high_bits)x;
382 ret |= 0x%(high_bits)x;
393 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)
[all...]
/seL4-refos-master/libs/libsel4/tools/
H A Dbitfield_gen.py297 ret |= 0x%(high_bits)x;
310 ret |= 0x%(high_bits)x;
319 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
329 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
365 ret |= 0x%(high_bits)x;
382 ret |= 0x%(high_bits)x;
393 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)
[all...]
/seL4-refos-master/kernel/tools/
H A Dbitfield_gen.py297 ret |= 0x%(high_bits)x;
310 ret |= 0x%(high_bits)x;
319 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
329 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
365 ret |= 0x%(high_bits)x;
382 ret |= 0x%(high_bits)x;
393 %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)
[all...]
/seL4-refos-master/libs/libplatsupport/src/mach/omap/
H A Dgpt.c187 gpt->high_bits++;
314 ticks = ((uint64_t)(gpt->high_bits + overflow)) << 32llu;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c187 gpt->high_bits++;
314 ticks = ((uint64_t)(gpt->high_bits + overflow)) << 32llu;

Completed in 166 milliseconds