linux_dsm_epyc7002/arch/avr32/include/asm/local64.h