[Linaro-open-discussions] About the test_bit() check in the kvm_hvc_user() part of hypercall.c