PSLIST_ENTRY __fastcall HvlSvmFlushPasid(UINT64 a1, UINT64 a2, UINT64 a3, INT64 a4){
if( (unsigned int)(a3 - 1) > 0x1FD )
return(PSLIST_ENTRY)HvlpFlushPasidAddressSpace(a1, a2);
if( (unsigned int)a3 > 0xC )
return HvlpSlowFlushPasidAddressList(a1, a2, a3, a4);
return(PSLIST_ENTRY)HvlpFastFlushPasidAddressList(a1, a2, a3, a4);
}