/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | acpi.c | 287 return dlist->regions[index].start - dlist->offset;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | ethtool.h | 108 uint32_t offset; /* in bytes */ member in struct:ethtool_eeprom
|
H A D | net.h | 361 u16 ip_off; /* fragment offset field */ 369 #define IP_OFFS 0x1fff /* ip offset *= 8 */ 385 u16 ip_off; /* fragment offset field */ 574 extern int net_ntp_time_offset; /* offset time from UTC */ 609 * @offset: Offset of first sum (if odd we do a byte-swap) 614 unsigned add_ip_checksums(unsigned offset, unsigned sum, unsigned new_sum);
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 40 for (unsigned int offset = 0; offset < BIT(asidLowBits); offset++) { 41 asid_map_t asid_map = pool->array[offset]; 44 hwASIDInvalidate(asid_base + offset, vspace);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | ethtool.h | 108 uint32_t offset; /* in bytes */ member in struct:ethtool_eeprom
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 352 u16 ip_off; /* fragment offset field */ 360 #define IP_OFFS 0x1fff /* ip offset *= 8 */ 376 u16 ip_off; /* fragment offset field */ 564 extern int net_ntp_time_offset; /* offset time from UTC */ 602 * @offset: Offset of first sum (if odd we do a byte-swap) 607 unsigned add_ip_checksums(unsigned offset, unsigned sum, unsigned new_sum);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | restore.c | 271 int offset = mtmp->data - monbegin; /*(ptrdiff_t)*/ local 272 mtmp->data = mons + offset; /* new permonst location */
|
H A D | options.c | 811 graphics_opts(opts, optype, maxlen, offset) 814 int maxlen, offset; 828 assign_graphics(translate, length, maxlen, offset);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | restore.c | 271 int offset = mtmp->data - monbegin; /*(ptrdiff_t)*/ local 272 mtmp->data = mons + offset; /* new permonst location */
|
H A D | options.c | 811 graphics_opts(opts, optype, maxlen, offset) 814 int maxlen, offset; 828 assign_graphics(translate, length, maxlen, offset);
|
/seL4-refos-master/kernel/src/object/ |
H A D | cnode.c | 926 const int offset = seL4_MsgMaxLength + seL4_MsgMaxExtraCaps + 2; local 927 return capTransferFromWords(buffer + offset);
|
H A D | objecttype.c | 608 insertNewCap(parent, &slots.cnode[slots.offset + i], cap);
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | bootstrap.c | 310 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p1.root, p1.dest, p1.destDepth, p1.offset, 1); 314 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p2.root, p2.dest, p2.destDepth, p2.offset, 1); 324 cnode.root, cnode.dest, cnode.destDepth, cnode.offset, 1);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 310 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p1.root, p1.dest, p1.destDepth, p1.offset, 1); 314 error = seL4_Untyped_Retype(ut.capPtr, seL4_UntypedObject, size, p2.root, p2.dest, p2.destDepth, p2.offset, 1); 324 cnode.root, cnode.dest, cnode.destDepth, cnode.offset, 1);
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 977 int offset = bit % (sizeof(word_t) * 8); local 978 bitmap[index] &= ~BIT(offset);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 1019 int offset = (cw->type == NHW_TEXT) ? 1 : 2; local 1022 (int)ttyDisplay->curx + offset, (int)ttyDisplay->cury);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 1019 int offset = (cw->type == NHW_TEXT) ? 1 : 2; local 1022 (int)ttyDisplay->curx + offset, (int)ttyDisplay->cury);
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | cspace.tex | 453 translated. L2 CNode Cap resides at offset 0x0F of the first CNode,
|