local_ctl_set_bit
local_ctl_set_bit(0, CR0_EDAT_BIT);
local_ctl_set_bit(0, CR0_CLOCK_COMPARATOR_SIGN_BIT);
local_ctl_set_bit(0, CR0_TRANSACTIONAL_EXECUTION_BIT);
local_ctl_set_bit(0, CR0_VECTOR_BIT);
local_ctl_set_bit(2, CR2_GUARDED_STORAGE_BIT);
local_ctl_set_bit(2, CR2_GUARDED_STORAGE_BIT);
local_ctl_set_bit(0, CR0_CRYPTOGRAPHY_COUNTER_BIT);
local_ctl_set_bit(0, CR0_PAI_EXTENSION_BIT);
local_ctl_set_bit(2, CR2_GUARDED_STORAGE_BIT);
local_ctl_set_bit(0, CR0_CLOCK_COMPARATOR_SUBMASK_BIT);
local_ctl_set_bit(0, CR0_ETR_SUBMASK_BIT);
local_ctl_set_bit(2, CR2_GUARDED_STORAGE_BIT);
local_ctl_set_bit(2, CR2_GUARDED_STORAGE_BIT);
local_ctl_set_bit(2, CR2_GUARDED_STORAGE_BIT);