UCODE_BSP_LOADED
if (xchg(&ucode_patch_va, NULL) != UCODE_BSP_LOADED)
ucode_patch_va = UCODE_BSP_LOADED;