![pk](/assets/img/avatar_default.png)
pv_changepte(). Reason: the managed() macro does not take into account the gap in the managed pages range that may have been introduced by the page table allocation in bootstrap().
pv_changepte(). Reason: the managed() macro does not take into account the gap in the managed pages range that may have been introduced by the page table allocation in bootstrap().