MC_CMD_SENSOR_PAGE0_NEXT
if ((mcdi_index % (MC_CMD_SENSOR_PAGE0_NEXT + 1)) ==
MC_CMD_SENSOR_PAGE0_NEXT) {
EFSYS_ASSERT((sensor % (MC_CMD_SENSOR_PAGE0_NEXT + 1)) !=
MC_CMD_SENSOR_PAGE0_NEXT);
sensor / (MC_CMD_SENSOR_PAGE0_NEXT + 1)] &
(1U << (sensor % (MC_CMD_SENSOR_PAGE0_NEXT + 1)))) != 0);
(1U << MC_CMD_SENSOR_PAGE0_NEXT));
((mask & (1U << MC_CMD_SENSOR_PAGE0_NEXT)) == 0)) {
if (sensor_maskp[npages - 1] & (1U << MC_CMD_SENSOR_PAGE0_NEXT)) {
if (mask_copy == (1U << MC_CMD_SENSOR_PAGE0_NEXT)) {
if (page_mask == (1U << MC_CMD_SENSOR_PAGE0_NEXT))
} while (page_mask & (1U << MC_CMD_SENSOR_PAGE0_NEXT));
if ((sensor % (MC_CMD_SENSOR_PAGE0_NEXT + 1)) ==
MC_CMD_SENSOR_PAGE0_NEXT) {