is_managed
if (is_managed(pa)) {
if ((managed = is_managed(pa)) == false)
if (is_managed(pa))
static INLINE bool is_managed(paddr_t);