default: break;
badvaddr(vm_offset_t va, int size){	register int 	x;	if (badaddr(va, size)) {		return -1;	}	switch (size) {	case 1:		x = *(volatile unsigned char *)va;		break;	case 2:		x = *(volatile unsigned short *)va;		break;	case 4:		x = *(volatile unsigned long *)va;		break;	default:		break;		}	return(x);}