/*
 * SPDX-License-Identifier: GPL-2.0
 *
 * Copyright (C) 2015 Dmitriy Cherkasov <dmitriy@mperpetuo.com>
 */

#ifndef _COBALT_ARM64_DOVETAIL_MACHINE_H
#define _COBALT_ARM64_DOVETAIL_MACHINE_H

#include <linux/version.h>
#include <asm/byteorder.h>
#include <cobalt/kernel/assert.h>

/* D-side always behaves as PIPT on AArch64 (see arch/arm64/include/asm/cachetype.h) */
#define xnarch_cache_aliasing() 0

static inline __attribute_const__ unsigned long ffnz(unsigned long ul)
{
	int __r;

	/* zero input is not valid */
	XENO_WARN_ON(COBALT, ul == 0);

	__asm__ ("rbit\t%0, %1\n"
	         "clz\t%0, %0\n"
	        : "=r" (__r) : "r"(ul) : "cc");

	return __r;
}

#include <asm-generic/xenomai/machine.h>

#endif /* !_COBALT_ARM64_DOVETAIL_MACHINE_H */