MPS_DEV_RESERVED
(MPS_DEV_RESERVED | MPS_MAP_IN_USE);
| (MPS_DEV_RESERVED | MPS_MAP_IN_USE);
mt_entry->device_info = MPS_DEV_RESERVED;
mt_entry->device_info = MPS_DEV_RESERVED;
mt_entry->device_info = MPS_DEV_RESERVED;
if (mt_entry->device_info & MPS_DEV_RESERVED
else if (mt_entry->device_info & MPS_DEV_RESERVED) {
if (mt_entry->device_info & MPS_DEV_RESERVED
else if (mt_entry->device_info & MPS_DEV_RESERVED) {
MPS_DEV_RESERVED | MPS_MAP_IN_USE;
mt_entry->device_info = MPS_DEV_RESERVED |
MPS_DEV_RESERVED)))
if (!(mt_entry->device_info & MPS_DEV_RESERVED)) {
mt_entry->device_info &= ~MPS_DEV_RESERVED;
if (!(mt_entry->device_info & MPS_DEV_RESERVED)) {
MPS_DEV_RESERVED;
mt_entry->device_info = MPS_DEV_RESERVED;