Searched refs:destDataspaceOffset (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dfault_notify.c209 seL4_Word destDataspaceOffset = notification->arg[1]; local
230 seL4_Word dataspaceOffset = destDataspaceOffset + dda->dataspaceOffset;
242 destDataspaceOffset, (char*)dspace->fileData + dataspaceOffset,
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dfault_notify.c209 seL4_Word destDataspaceOffset = notification->arg[1]; local
230 seL4_Word dataspaceOffset = destDataspaceOffset + dda->dataspaceOffset;
242 destDataspaceOffset, (char*)dspace->fileData + dataspaceOffset,

Completed in 27 milliseconds