Symbol: FEXTNVM6_ENABLE_K1_ENTRY_CONDITION