kernel_close_sock
save_errno_do(ASSERT_OK(kernel_close_sock(0), "kernel_close_sock"));
save_errno_do(ASSERT_OK(kernel_close_sock(0), "kernel_close_sock"));
.close = kernel_close_sock,
.close = kernel_close_sock,