arch___test_and_set_bit
return arch___test_and_set_bit(reg, (unsigned long *)&vcpu->arch.regs_avail);
return arch___test_and_set_bit(nr, addr);
#define ___test_and_set_bit arch___test_and_set_bit