_setbit
static __always_inline void td_##lclass##_setbit##bits(struct vcpu_tdx *tdx, \
_setbit(bmp, i, 1);
_setbit(bmp, i, 0);
_setbit(bmp, a, 1);