__align32
int32_t __align32; /*%< 32bit alignment */
char sun4v_soft_state_booting[] __align32 = "NetBSD booting";
char sun4v_soft_state_running[] __align32 = "NetBSD running";