diff --git a/executer/kernel/syscall.c b/executer/kernel/syscall.c index 430d0245..9a799f36 100644 --- a/executer/kernel/syscall.c +++ b/executer/kernel/syscall.c @@ -56,6 +56,7 @@ static long pager_call(ihk_os_t os, struct syscall_request *req); +#ifndef DO_USER_MODE #ifdef SC_DEBUG static struct ihk_dma_request last_request; @@ -68,6 +69,7 @@ static void print_dma_lastreq(void) last_request.size, last_request.notify, last_request.priv); } #endif +#endif int init_peer_channel_registry(struct mcctrl_usrdata *ud) {