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

/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dfault_notify.c101 /* initFrameSkip is to compensate for the case where the window base is not page aligned,
110 ������������ initFrameSkip = (winBase - alignedFaultAddr)
112 size_t initFrameSkip = (winBase > alignedFaultAddr) ? (winBase - alignedFaultAddr) : 0; local
133 ������������������ nbytes = (REFOS_PAGE_SIZE - initFrameSkip)
150 size_t nbytes = MIN(REFOS_PAGE_SIZE - initFrameSkip,
166 (void*) (pframe + initFrameSkip),
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dfault_notify.c101 /* initFrameSkip is to compensate for the case where the window base is not page aligned,
110 ������������ initFrameSkip = (winBase - alignedFaultAddr)
112 size_t initFrameSkip = (winBase > alignedFaultAddr) ? (winBase - alignedFaultAddr) : 0; local
133 ������������������ nbytes = (REFOS_PAGE_SIZE - initFrameSkip)
150 size_t nbytes = MIN(REFOS_PAGE_SIZE - initFrameSkip,
166 (void*) (pframe + initFrameSkip),

Completed in 75 milliseconds