Searched refs:low (Results 26 - 34 of 34) sorted by relevance

12

/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c179 uint32_t high, low; local
186 low = UINT32_MAX - dmt_get_ticks(dmt);
188 /* check after fetching low to see if we've missed a high bit */
194 uint64_t ticks = (((uint64_t) high << 32llu) | low);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c179 uint32_t high, low; local
186 low = UINT32_MAX - dmt_get_ticks(dmt);
188 /* check after fetching low to see if we've missed a high bit */
194 uint64_t ticks = (((uint64_t) high << 32llu) | low);
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dioport.c313 void setIOPortMask(void *ioport_bitmap, uint16_t low, uint16_t high, bool_t set) argument
318 int low_word = low >> wordRadix;
320 int low_index = low & MASK(wordRadix);
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h902 seL4_Word low, high; local
903 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &low, MCS_COND(0, &high));
909 return ((seL4_Uint64)low) | ((seL4_Uint64)high << 32);
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsyscalls.h902 seL4_Word low, high; local
903 x86_sys_recv(seL4_SysX86DangerousRDMSR, msr, &unused0, &unused1, &low, MCS_COND(0, &high));
909 return ((seL4_Uint64)low) | ((seL4_Uint64)high << 32);
/seL4-refos-master/kernel/manual/parts/
H A Dipc.tex44 % FIXME: a little too low-level, perhaps?
136 On 32-bit platforms, only the low 28 bits of the badge are available for use.
H A Dio.tex149 PCI identifier of the device as the low 16 bits of the \texttt{badge} argument, and
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex1294 useful for low-level characters.
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex1294 useful for low-level characters.

Completed in 179 milliseconds

12