NTSTATUS __stdcall HalAcpiGetFacsMappingDispatch(INT64 a1){ return(unsigned int)HalpAcpiGetFacsMapping((_LOADER_PARAMETER_BLOCK *)a1); }