![tsutsui](/assets/img/avatar_default.png)
and use a static and possible highest ipl value (ipl 5) for IPL_VM so that we can put ipl2psl_table[] conversion into makeiplcookie(9), which could be called before cpu_configure(9). Fixes "panic: sbappendaddr" on NFS load.
and use a static and possible highest ipl value (ipl 5) for IPL_VM so that we can put ipl2psl_table[] conversion into makeiplcookie(9), which could be called before cpu_configure(9). Fixes "panic: sbappendaddr" on NFS load.