INT64 __fastcall HalpBlkAllocateShadowCodePages(INT64 a1, INT64 a2, INT64 *a3){
unsigned int v3;
v3 = 0;
if( !HalpBlkAllocateAndShadowMemory(
(VOID *)(a1 & 0xFFFFFFFFFFFFF000ui64),
((unsigned __int64)(a1 & 0xFFF) + a2 + 4095) >> 12) )
return(unsigned int)-1073741801;
return v3;
}