/* ia64_log_init Reset the OS ia64 log buffer Inputs : info_type (SAL_INFO_TYPE_{MCA,INIT,CMC,CPE}) Outputs : None  */
static void __init ia64_log_init(int sal_info_type)
/* ia64_log_init Reset the OS ia64 log buffer Inputs : info_type (SAL_INFO_TYPE_{MCA,INIT,CMC,CPE}) Outputs : None  */
static void __init ia64_log_init(int sal_info_type)
{
	u64	max_size = 0;
	IA64_LOG_NEXT_INDEX(sal_info_type) = 0;
	IA64_LOG_LOCK_INIT(sal_info_type);
	max_size = ia64_sal_get_state_info_size(sal_info_type);
	if (!max_size)
		return;
	IA64_LOG_ALLOCATE(sal_info_type, max_size);
	memset(IA64_LOG_CURR_BUFFER(sal_info_type), 0, max_size);
	memset(IA64_LOG_NEXT_BUFFER(sal_info_type), 0, max_size);
}