c
struct netvsc_device {
    // ...
    bool recv_buf_freed;
    // ...
};

7 	kfree(nvdev->extension);
8 	if (!nvdev->recv_buf_freed) {
9 		vfree(nvdev->recv_buf);
10 		nvdev->recv_buf_freed = true;
11 	}
