CNTHCTL_EL1PCEN
val = (val & (CNTHCTL_EL1PCEN | CNTHCTL_EL1PCTEN)) << 10;
tpt |= !(val & (CNTHCTL_EL1PCEN << 10));
assign_clear_set_bit(tpt, CNTHCTL_EL1PCEN << 10, set, clr);
val = (val & (CNTHCTL_EL1PCEN | CNTHCTL_EL1PCTEN)) << 10;
return val & ((CNTHCTL_EL1PCEN | CNTHCTL_EL1PCTEN) << 10);
if (get_sanitized_cnthctl(vcpu) & (CNTHCTL_EL1PCEN << 10))
set = (CNTHCTL_EL1PCTEN | CNTHCTL_EL1PCEN) << shift;
clr = CNTHCTL_EL1PCEN;