[slashdev]

Yes, that’s right. It seems to make up the bulk of the cost of a system call though, depending what it does, like read or write syscalls.