/* SPDX-License-Identifier: GPL-2.0 */

#ifndef _ASM_S390_ASCE_H
#define _ASM_S390_ASCE_H

#include <linux/thread_info.h>
#include <linux/irqflags.h>
#include <asm/lowcore.h>
#include <asm/ctlreg.h>

static inline bool enable_sacf_uaccess(void)
{
	unsigned long flags;

	if (test_thread_flag(TIF_ASCE_PRIMARY))
		return true;
	local_irq_save(flags);
	local_ctl_load(1, &get_lowcore()->kernel_asce);
	set_thread_flag(TIF_ASCE_PRIMARY);
	local_irq_restore(flags);
	return false;
}

static inline void disable_sacf_uaccess(bool previous)
{
	unsigned long flags;

	if (previous)
		return;
	local_irq_save(flags);
	local_ctl_load(1, &get_lowcore()->user_asce);
	clear_thread_flag(TIF_ASCE_PRIMARY);
	local_irq_restore(flags);
}

#endif /* _ASM_S390_ASCE_H */