#ifndef _ARM32_CPU_H_
#define _ARM32_CPU_H_

#include <machine/psl.h>

#endif /* !_ARM32_CPU_H_ */