cpu_has_hw_mod_p
if (cpu_has_hw_mod_p()) {
const pt_entry_t pte_mod_tracking = cpu_has_hw_mod_p() ?
if (cpu_has_hw_mod_p()) {
const pt_entry_t mod_tracking_mask = cpu_has_hw_mod_p() ?
npte |= writeable_p && cpu_has_hw_mod_p() ? LX_BLKPAG_DBM : 0;