INT64 __fastcall HalpAcpiPopulateTableCache(INT64 a1){
WORK_QUEUE_ITEM *v1;
unsigned int v2;
v1 = (WORK_QUEUE_ITEM *)HalpMmAllocCtxAlloc(a1, 32i64);
v2 = 0;
if( v1 )
{
v1->Parameter = v1;
v1->WorkerRoutine = (void(__fastcall *)(void *))HalpAcpiPopulateTableCacheWork;
v1->List.Flink = 0i64;
ExQueueWorkItem(v1, DelayedWorkQueue);
}
else
{
return(unsigned int)-1073741801;
}
return v2;
}