HvlpFlushPasidAddressSpace

NTSTATUS __stdcall HvlpFlushPasidAddressSpace(UINT64 a1, UINT64 a2){
  _QWORD v3[3]; 

  v3[1] = 0i64;
  HIDWORD(v3[0]) = a1;
  LODWORD(v3[0]) = a2;
  return HvcallFastExtended(65696i64, v3, 0x10u, 0i64, 0);
}

Referenced by:

HvlSvmFlushPasid
HvlpSlowFlushPasidAddressList