TAINT_FIRMWARE_WORKAROUND
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
WARN_TAINT(mmu_enabled_at_boot, TAINT_FIRMWARE_WORKAROUND,
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
if (WARN_TAINT(iort_node >= iort_end, TAINT_FIRMWARE_WORKAROUND,
if (WARN_TAINT(iort_node >= iort_end, TAINT_FIRMWARE_WORKAROUND,
if (WARN_TAINT(rimt_node >= rimt_end, TAINT_FIRMWARE_WORKAROUND,
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_NOW_UNRELIABLE);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);
add_taint(TAINT_FIRMWARE_WORKAROUND, LOCKDEP_STILL_OK);