CR0_CRYPTOGRAPHY_COUNTER_BIT
#define CR0_CRYPTOGRAPHY_COUNTER BIT(CR0_CRYPTOGRAPHY_COUNTER_BIT)
local_ctl_set_bit(0, CR0_CRYPTOGRAPHY_COUNTER_BIT);
local_ctl_clear_bit(0, CR0_CRYPTOGRAPHY_COUNTER_BIT);