Prototype in acpiosxf.h had the output value pointer as a (u32 *). Should be a (u64 *). Signed-off-by: Bob Moore Signed-off-by: Lin Ming Signed-off-by: Len Brown !£¡´•.x