SH3_P2SEG_END
KASSERT(sh >= SH3_P2SEG_BASE && sh <= SH3_P2SEG_END);
KASSERT(sh >= SH3_P2SEG_BASE && sh <= SH3_P2SEG_END);
kva <= (void *)SH3_P2SEG_END)
if (bsh >= SH3_P2SEG_BASE && bsh <= SH3_P2SEG_END) {
if (SH3_P1SEG_BASE <= addr && addr + buflen <= SH3_P2SEG_END) {
&& (naddr + minlen <= SH3_P2SEG_END)) {
if (SH3_P1SEG_BASE <= vaddr && vaddr <= SH3_P2SEG_END)
if (bsh >= SH3_P2SEG_BASE && bsh <= SH3_P2SEG_END) {
if (bsh >= SH3_P2SEG_BASE && bsh <= SH3_P2SEG_END) {
if (SH3_P1SEG_BASE <= addr && addr + buflen <= SH3_P2SEG_END) {
&& (naddr + minlen <= SH3_P2SEG_END)) {
if (SH3_P1SEG_BASE <= vaddr && vaddr <= SH3_P2SEG_END)