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