ACPI_TO_INTEGER
ObjDesc->Method.ParamCount = (UINT8) ACPI_TO_INTEGER (Val);
ObjDesc->Integer.Value = ACPI_TO_INTEGER (Val);
ObjDesc->Mutex.SyncLevel = (UINT8) (ACPI_TO_INTEGER (Val) - 1);
#ifndef ACPI_TO_INTEGER
#define ACPI_PTR_TO_PHYSADDR(i) ACPI_TO_INTEGER(i)