/* The traditional purpose of "sys/reg.h" is satisfied by "arch/abi.h". */
#include <arch/abi.h>