Searched refs:low (Results 26 - 34 of 34) sorted by relevance
12
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 179 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 D | dmt.c | 179 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 D | ioport.c | 313 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 D | syscalls.h | 902 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 D | syscalls.h | 902 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 D | ipc.tex | 44 % 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 D | io.tex | 149 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 D | Guidebook.tex | 1294 useful for low-level characters.
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 1294 useful for low-level characters.
|
Completed in 179 milliseconds
12