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