src/arch/aarch64/msr.h

#ifndef _MSR_H
#define _MSR_H

#include <stddef.h>

#define read_msr(name) \
	__extension__({ \
		size_t __v; \
		__asm volatile("mrs %0, " #name : "=r" (__v)); \
		__v; \
	})

#define write_msr(name, value) \
	do { \
		__asm volatile("msr " #name ", %x0" \
			       : : "rZ" ((size_t)value)); \
	} while (0)

#endif  /* _MSR_H */