Lines Matching refs:offset
30 * Get a 64bit value from the ipc buffer, starting from offset.
33 * @param offset the offser in the ipc buffer to start reading MRs at.
36 static inline uint64_t sel4utils_64_get_mr(seL4_Word offset)
38 uint64_t result = seL4_GetMR(offset);
41 result += (((uint64_t) seL4_GetMR(offset + 1)) << 32llu);
50 * @param offset offset in the IPC buffer to start setting MRs at.
53 static inline void sel4utils_64_set_mr(seL4_Word offset, uint64_t value)
55 seL4_SetMR(offset, (seL4_Word) value);
57 seL4_SetMR(offset + 1, (seL4_Word)(value >> 32llu));
59 assert(sel4utils_64_get_mr(offset) == value);