wait flash pump idle on C28x Concerto

Hello,

I'm using C28X-Concerto H52C1 device,

I want to program Flash,

I read on page.168 of SPRUH22F–April 2012–Revised December 2013 about "1.12.7   Flash Pump Semaphore"

In the "F28M35x_SysCtrl.c" there is a routine called "void FlashGainPump (void)" and the code is

void FlashGainPump (void)
{
	EALLOW;
	
    // Wait for flashpump to be idle
    while(CtoMIpcRegs.CPUMPREQUEST != 0){}
    
    // Take control of the flash pump
    CtoMIpcRegs.CPUMPREQUEST = 0x4CE73950 | 0x1;
    
    EDIS;
}

but why not use below snippet for WAIT FLASH PUMP ??

while(CtoMIpcRegs.CPUMPREQUEST&2 != 0) asm(" nop");