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 */