require_extension('S');
require_extension(EXT_SVINVAL);
require_impl(IMPL_MMU);
require_privilege_hs_qualified(PRV_S);