Home | History | Annotate | Line # | Download | only in xxboot
bootxx.c revision 1.26
      1  1.26       mrg /* $NetBSD: bootxx.c,v 1.26 2006/07/01 05:55:34 mrg Exp $ */
      2  1.19  junyoung 
      3   1.1     ragge /*-
      4   1.1     ragge  * Copyright (c) 1982, 1986 The Regents of the University of California.
      5   1.1     ragge  * All rights reserved.
      6   1.1     ragge  *
      7   1.1     ragge  * Redistribution and use in source and binary forms, with or without
      8   1.1     ragge  * modification, are permitted provided that the following conditions
      9   1.1     ragge  * are met:
     10   1.1     ragge  * 1. Redistributions of source code must retain the above copyright
     11   1.1     ragge  *    notice, this list of conditions and the following disclaimer.
     12   1.1     ragge  * 2. Redistributions in binary form must reproduce the above copyright
     13   1.1     ragge  *    notice, this list of conditions and the following disclaimer in the
     14   1.1     ragge  *    documentation and/or other materials provided with the distribution.
     15  1.17       agc  * 3. Neither the name of the University nor the names of its contributors
     16   1.1     ragge  *    may be used to endorse or promote products derived from this software
     17   1.1     ragge  *    without specific prior written permission.
     18   1.1     ragge  *
     19   1.1     ragge  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     20   1.1     ragge  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     21   1.1     ragge  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     22   1.1     ragge  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     23   1.1     ragge  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     24   1.1     ragge  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     25   1.1     ragge  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     26   1.1     ragge  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     27   1.1     ragge  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     28   1.1     ragge  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     29   1.1     ragge  * SUCH DAMAGE.
     30   1.1     ragge  *
     31   1.1     ragge  *	@(#)boot.c	7.15 (Berkeley) 5/4/91
     32   1.1     ragge  */
     33   1.1     ragge 
     34  1.20  junyoung #include <sys/param.h>
     35  1.20  junyoung #include <sys/reboot.h>
     36  1.20  junyoung #include <sys/disklabel.h>
     37  1.20  junyoung #include <sys/exec.h>
     38  1.20  junyoung #include <sys/exec_elf.h>
     39  1.20  junyoung 
     40  1.20  junyoung #include <lib/libsa/stand.h>
     41  1.20  junyoung #include <lib/libsa/ufs.h>
     42  1.20  junyoung #include <lib/libsa/cd9660.h>
     43  1.20  junyoung #include <lib/libsa/ustarfs.h>
     44  1.20  junyoung 
     45  1.20  junyoung #include <lib/libkern/libkern.h>
     46  1.20  junyoung 
     47  1.20  junyoung #include <machine/pte.h>
     48  1.20  junyoung #include <machine/sid.h>
     49  1.20  junyoung #include <machine/mtpr.h>
     50  1.20  junyoung #include <machine/reg.h>
     51  1.20  junyoung #include <machine/rpb.h>
     52  1.10     ragge #include "../vax/gencons.h"
     53   1.1     ragge 
     54   1.1     ragge #include "../mba/mbareg.h"
     55   1.1     ragge #include "../mba/hpreg.h"
     56   1.1     ragge 
     57   1.1     ragge #define NRSP 1 /* Kludge */
     58   1.1     ragge #define NCMD 1 /* Kludge */
     59   1.1     ragge 
     60  1.20  junyoung #include <dev/mscp/mscp.h>
     61  1.20  junyoung #include <dev/mscp/mscpreg.h>
     62   1.1     ragge 
     63   1.6     ragge #include "../boot/data.h"
     64   1.1     ragge 
     65  1.13    simonb #define	RF_PROTECTED_SECTORS	64	/* XXX refer to <.../rf_optnames.h> */
     66  1.13    simonb 
     67   1.6     ragge void	Xmain(void);
     68   1.6     ragge void	hoppabort(int);
     69   1.6     ragge void	romread_uvax(int lbn, int size, void *buf, struct rpb *rpb);
     70   1.7     ragge void	hpread(int block);
     71   1.6     ragge int	read750(int block, int *regs);
     72   1.6     ragge int	unit_init(int, struct rpb *, int);
     73   1.1     ragge 
     74   1.2     ragge struct open_file file;
     75   1.2     ragge 
     76   1.1     ragge unsigned *bootregs;
     77   1.1     ragge struct	rpb *rpb;
     78   1.6     ragge struct	bqo *bqo;
     79   1.1     ragge int	vax_cputype;
     80  1.11      matt int	vax_load_failure;
     81   1.6     ragge struct udadevice {u_short udaip;u_short udasa;};
     82   1.6     ragge volatile struct udadevice *csr;
     83  1.10     ragge static int moved;
     84   1.6     ragge 
     85   1.6     ragge extern int from;
     86   1.6     ragge #define	FROM750	1
     87   1.6     ragge #define	FROMMV	2
     88   1.6     ragge #define	FROMVMB	4
     89   1.1     ragge 
     90   1.1     ragge /*
     91   1.1     ragge  * The boot block are used by 11/750, 8200, MicroVAX II/III, VS2000,
     92   1.1     ragge  * VS3100/??, VS4000 and VAX6000/???, and only when booting from disk.
     93   1.1     ragge  */
     94   1.6     ragge void
     95   1.1     ragge Xmain()
     96   1.1     ragge {
     97  1.11      matt 	union {
     98  1.11      matt 		struct exec aout;
     99  1.11      matt 		Elf32_Ehdr elf;
    100  1.11      matt 	} hdr;
    101   1.1     ragge 	int io;
    102  1.11      matt 	u_long entry;
    103   1.1     ragge 
    104   1.1     ragge 	vax_cputype = (mfpr(PR_SID) >> 24) & 0xFF;
    105  1.10     ragge 	moved = 0;
    106   1.2     ragge 	/*
    107  1.19  junyoung 	 */
    108   1.6     ragge 	rpb = (void *)0xf0000; /* Safe address right now */
    109   1.6     ragge 	bqo = (void *)0xf1000;
    110   1.6     ragge         if (from == FROMMV) {
    111   1.1     ragge 		/*
    112   1.1     ragge 		 * now relocate rpb/bqo (which are used by ROM-routines)
    113   1.1     ragge 		 */
    114   1.6     ragge 		bcopy ((void *)bootregs[11], rpb, sizeof(struct rpb));
    115   1.1     ragge 		bcopy ((void*)rpb->iovec, bqo, rpb->iovecsz);
    116   1.6     ragge 	} else {
    117   1.6     ragge 		bzero(rpb, sizeof(struct rpb));
    118   1.6     ragge 		rpb->devtyp = bootregs[0];
    119   1.6     ragge 		rpb->unit = bootregs[3];
    120   1.6     ragge 		rpb->rpb_bootr5 = bootregs[5];
    121   1.6     ragge 		rpb->csrphy = bootregs[2];
    122   1.6     ragge 		rpb->adpphy = bootregs[1];	/* BI node on 8200 */
    123   1.7     ragge 		if (rpb->devtyp != BDEV_HP && vax_cputype == VAX_TYP_750)
    124   1.7     ragge 			rpb->adpphy =
    125   1.7     ragge 			    (bootregs[1] == 0xffe000 ? 0xf30000 : 0xf32000);
    126   1.1     ragge         }
    127   1.6     ragge 	rpb->rpb_base = rpb;
    128   1.6     ragge 	rpb->iovec = (int)bqo;
    129   1.1     ragge 
    130   1.8      matt 	io = open("/boot.vax", 0);
    131   1.8      matt 	if (io < 0)
    132   1.8      matt 		io = open("/boot", 0);
    133   1.8      matt 	if (io < 0)
    134  1.22     perry 		__asm("halt");
    135   1.1     ragge 
    136  1.11      matt 	read(io, (void *)&hdr.aout, sizeof(hdr.aout));
    137  1.11      matt 	if (N_GETMAGIC(hdr.aout) == OMAGIC && N_GETMID(hdr.aout) == MID_VAX) {
    138  1.11      matt 		vax_load_failure++;
    139  1.11      matt 		entry = hdr.aout.a_entry;
    140  1.11      matt 		if (entry < sizeof(hdr.aout))
    141  1.11      matt 			entry = sizeof(hdr.aout);
    142  1.11      matt 		read(io, (void *) entry, hdr.aout.a_text + hdr.aout.a_data);
    143  1.11      matt 		memset((void *) (entry + hdr.aout.a_text + hdr.aout.a_data),
    144  1.11      matt 		       0, hdr.aout.a_bss);
    145  1.11      matt 	} else if (memcmp(hdr.elf.e_ident, ELFMAG, SELFMAG) == 0) {
    146  1.11      matt 		Elf32_Phdr ph;
    147  1.11      matt 		size_t off = sizeof(hdr.elf);
    148  1.11      matt 		vax_load_failure += 2;
    149  1.11      matt 		read(io, (caddr_t)(&hdr.elf) + sizeof(hdr.aout),
    150  1.11      matt 		     sizeof(hdr.elf) - sizeof(hdr.aout));
    151  1.11      matt 		if (hdr.elf.e_machine != EM_VAX || hdr.elf.e_type != ET_EXEC
    152  1.11      matt 		    || hdr.elf.e_phnum != 1)
    153  1.11      matt 			goto die;
    154  1.11      matt 		vax_load_failure++;
    155  1.11      matt 		entry = hdr.elf.e_entry;
    156  1.19  junyoung 		if (hdr.elf.e_phoff != sizeof(hdr.elf))
    157  1.11      matt 			goto die;
    158  1.11      matt 		vax_load_failure++;
    159  1.11      matt 		read(io, &ph, sizeof(ph));
    160  1.11      matt 		off += sizeof(ph);
    161  1.11      matt 		if (ph.p_type != PT_LOAD)
    162  1.11      matt 			goto die;
    163  1.11      matt 		vax_load_failure++;
    164  1.11      matt 		while (off < ph.p_offset) {
    165  1.11      matt 			u_int32_t tmp;
    166  1.11      matt 			read(io, &tmp, sizeof(tmp));
    167  1.11      matt 			off += sizeof(tmp);
    168  1.11      matt 		}
    169  1.24    sekiya 		read(io, (void *) hdr.elf.e_entry, ph.p_filesz);
    170  1.24    sekiya 		memset((void *) (hdr.elf.e_entry + ph.p_filesz), 0,
    171  1.11      matt 		       ph.p_memsz - ph.p_filesz);
    172  1.11      matt 	} else {
    173  1.11      matt 		goto die;
    174  1.11      matt 	}
    175  1.11      matt 	hoppabort(entry);
    176  1.11      matt die:
    177  1.22     perry 	__asm("halt");
    178   1.1     ragge }
    179   1.1     ragge 
    180   1.2     ragge /*
    181   1.2     ragge  * Write an extremely limited version of a (us)tar filesystem, suitable
    182   1.2     ragge  * for loading secondary-stage boot loader.
    183   1.2     ragge  * - Can only load file "boot".
    184   1.2     ragge  * - Must be the first file on tape.
    185   1.2     ragge  */
    186   1.6     ragge struct fs_ops file_system[] = {
    187  1.16      matt #ifdef NEED_UFS
    188   1.6     ragge 	{ ufs_open, 0, ufs_read, 0, 0, ufs_stat },
    189  1.16      matt #endif
    190  1.16      matt #ifdef NEED_CD9660
    191   1.6     ragge 	{ cd9660_open, 0, cd9660_read, 0, 0, cd9660_stat },
    192  1.16      matt #endif
    193  1.16      matt #ifdef NEED_USTARFS
    194   1.6     ragge 	{ ustarfs_open, 0, ustarfs_read, 0, 0, ustarfs_stat },
    195   1.6     ragge #endif
    196   1.6     ragge };
    197   1.6     ragge 
    198   1.6     ragge int nfsys = (sizeof(file_system) / sizeof(struct fs_ops));
    199   1.6     ragge 
    200   1.6     ragge #if 0
    201   1.2     ragge int tar_open(char *path, struct open_file *f);
    202   1.2     ragge ssize_t tar_read(struct open_file *f, void *buf, size_t size, size_t *resid);
    203   1.1     ragge 
    204   1.2     ragge int
    205   1.2     ragge tar_open(path, f)
    206   1.2     ragge 	char *path;
    207   1.2     ragge 	struct open_file *f;
    208   1.2     ragge {
    209   1.2     ragge 	char *buf = alloc(512);
    210   1.2     ragge 
    211   1.2     ragge 	bzero(buf, 512);
    212   1.2     ragge 	romstrategy(0, 0, 8192, 512, buf, 0);
    213   1.2     ragge 	if (bcmp(buf, "boot", 5) || bcmp(&buf[257], "ustar", 5))
    214   1.2     ragge 		return EINVAL; /* Not a ustarfs with "boot" first */
    215   1.2     ragge 	return 0;
    216   1.2     ragge }
    217   1.2     ragge 
    218   1.2     ragge ssize_t
    219   1.2     ragge tar_read(f, buf, size, resid)
    220   1.2     ragge 	struct open_file *f;
    221   1.2     ragge 	void *buf;
    222   1.2     ragge 	size_t size;
    223   1.2     ragge 	size_t *resid;
    224   1.2     ragge {
    225   1.2     ragge 	romstrategy(0, 0, (8192+512), size, buf, 0);
    226   1.2     ragge 	*resid = size;
    227   1.6     ragge 	return 0; /* XXX */
    228   1.2     ragge }
    229   1.6     ragge #endif
    230   1.1     ragge 
    231   1.1     ragge 
    232   1.6     ragge int
    233   1.1     ragge devopen(f, fname, file)
    234   1.1     ragge 	struct open_file *f;
    235   1.1     ragge 	const char    *fname;
    236   1.1     ragge 	char          **file;
    237   1.1     ragge {
    238   1.1     ragge 	*file = (char *)fname;
    239   1.1     ragge 
    240   1.6     ragge 	if (from == FROM750)
    241   1.6     ragge 		return 0;
    242   1.1     ragge 	/*
    243   1.6     ragge 	 * Reinit the VMB boot device.
    244   1.1     ragge 	 */
    245  1.10     ragge 	if (bqo->unit_init && (moved++ == 0)) {
    246   1.6     ragge 		int initfn;
    247   1.6     ragge 
    248   1.6     ragge 		initfn = rpb->iovec + bqo->unit_init;
    249   1.6     ragge 		if (rpb->devtyp == BDEV_UDA || rpb->devtyp == BDEV_TK) {
    250   1.7     ragge 			/*
    251  1.19  junyoung 			 * This reset do not seem to be done in the
    252   1.7     ragge 			 * ROM routines, so we have to do it manually.
    253   1.7     ragge 			 */
    254   1.1     ragge 			csr = (struct udadevice *)rpb->csrphy;
    255   1.6     ragge 			csr->udaip = 0;
    256   1.6     ragge 			while ((csr->udasa & MP_STEP1) == 0)
    257   1.6     ragge 				;
    258   1.1     ragge 		}
    259   1.7     ragge 		/*
    260   1.7     ragge 		 * AP (R12) have a pointer to the VMB argument list,
    261   1.7     ragge 		 * wanted by bqo->unit_init.
    262   1.7     ragge 		 */
    263   1.6     ragge 		unit_init(initfn, rpb, bootregs[12]);
    264   1.1     ragge 	}
    265   1.1     ragge 	return 0;
    266   1.1     ragge }
    267   1.1     ragge 
    268  1.12      matt extern struct disklabel romlabel;
    269  1.12      matt 
    270   1.6     ragge int
    271   1.1     ragge romstrategy(sc, func, dblk, size, buf, rsize)
    272   1.1     ragge 	void    *sc;
    273   1.1     ragge 	int     func;
    274   1.1     ragge 	daddr_t dblk;
    275   1.1     ragge 	size_t	size;
    276   1.1     ragge 	void    *buf;
    277   1.1     ragge 	size_t	*rsize;
    278   1.1     ragge {
    279   1.1     ragge 	int	block = dblk;
    280   1.1     ragge 	int     nsize = size;
    281  1.25        he 	char	*cbuf;
    282  1.25        he 
    283  1.25        he 	cbuf = (char *)buf;
    284  1.12      matt 
    285  1.14      matt 	if (romlabel.d_magic == DISKMAGIC && romlabel.d_magic2 == DISKMAGIC) {
    286  1.12      matt 		if (romlabel.d_npartitions > 1) {
    287  1.12      matt 			block += romlabel.d_partitions[0].p_offset;
    288  1.14      matt 			if (romlabel.d_partitions[0].p_fstype == FS_RAID) {
    289  1.13    simonb 				block += RF_PROTECTED_SECTORS;
    290  1.12      matt 			}
    291  1.12      matt 		}
    292  1.12      matt 	}
    293   1.1     ragge 
    294   1.6     ragge 	if (from == FROMMV) {
    295  1.25        he 		romread_uvax(block, size, cbuf, rpb);
    296   1.6     ragge 	} else /* if (from == FROM750) */ {
    297   1.7     ragge 		while (size > 0) {
    298   1.7     ragge 			if (rpb->devtyp == BDEV_HP)
    299   1.7     ragge 				hpread(block);
    300   1.7     ragge 			else
    301  1.26       mrg 				read750(block, (int *)bootregs);
    302  1.25        he 			bcopy(0, cbuf, 512);
    303   1.7     ragge 			size -= 512;
    304  1.25        he 			cbuf += 512;
    305   1.7     ragge 			block++;
    306   1.7     ragge 		}
    307   1.1     ragge 	}
    308   1.1     ragge 
    309   1.2     ragge 	if (rsize)
    310   1.2     ragge 		*rsize = nsize;
    311   1.1     ragge 	return 0;
    312   1.1     ragge }
    313   1.1     ragge 
    314   1.7     ragge /*
    315   1.7     ragge  * The 11/750 boot ROM for Massbus disks doesn't seen to have layout info
    316   1.7     ragge  * for all RP disks (not RP07 at least) so therefore a very small and dumb
    317   1.7     ragge  * device driver is used. It assumes that there is a label on the disk
    318   1.7     ragge  * already that has valid layout info. If there is no label, we can't boot
    319   1.7     ragge  * anyway.
    320   1.7     ragge  */
    321   1.9     ragge 
    322   1.9     ragge #define MBA_WCSR(reg, val) \
    323   1.9     ragge 	((void)(*(volatile u_int32_t *)((adpadr) + (reg)) = (val)));
    324   1.9     ragge #define MBA_RCSR(reg) \
    325   1.9     ragge 	(*(volatile u_int32_t *)((adpadr) + (reg)))
    326   1.9     ragge #define HP_WCSR(reg, val) \
    327   1.9     ragge 	((void)(*(volatile u_int32_t *)((unitadr) + (reg)) = (val)));
    328   1.9     ragge #define HP_RCSR(reg) \
    329   1.9     ragge 	(*(volatile u_int32_t *)((unitadr) + (reg)))
    330   1.9     ragge 
    331   1.7     ragge void
    332   1.7     ragge hpread(int bn)
    333   1.1     ragge {
    334   1.9     ragge 	int adpadr = bootregs[1];
    335   1.9     ragge 	int unitadr = adpadr + MUREG(bootregs[3], 0);
    336   1.7     ragge 	u_int cn, sn, tn;
    337   1.6     ragge 	struct disklabel *dp;
    338   1.6     ragge 	extern char start;
    339   1.1     ragge 
    340   1.6     ragge 	dp = (struct disklabel *)(LABELOFFSET + &start);
    341   1.9     ragge 	MBA_WCSR(MAPREG(0), PG_V);
    342   1.1     ragge 
    343   1.9     ragge 	MBA_WCSR(MBA_VAR, 0);
    344   1.9     ragge 	MBA_WCSR(MBA_BC, (~512) + 1);
    345   1.7     ragge #ifdef __GNUC__
    346   1.7     ragge 	/*
    347   1.7     ragge 	 * Avoid four subroutine calls by using hardware division.
    348   1.7     ragge 	 */
    349  1.22     perry 	__asm("clrl %%r1;"
    350  1.15      matt 	    "movl %3,%%r0;"
    351  1.15      matt 	    "ediv %4,%%r0,%0,%1;"
    352  1.15      matt 	    "movl %1,%%r0;"
    353  1.15      matt 	    "ediv %5,%%r0,%2,%1"
    354   1.7     ragge 	    : "=g"(cn),"=g"(sn),"=g"(tn)
    355   1.7     ragge 	    : "g"(bn),"g"(dp->d_secpercyl),"g"(dp->d_nsectors)
    356   1.7     ragge 	    : "r0","r1","cc");
    357   1.7     ragge #else
    358   1.1     ragge 	cn = bn / dp->d_secpercyl;
    359   1.1     ragge 	sn = bn % dp->d_secpercyl;
    360   1.1     ragge 	tn = sn / dp->d_nsectors;
    361   1.1     ragge 	sn = sn % dp->d_nsectors;
    362   1.7     ragge #endif
    363   1.9     ragge 	HP_WCSR(HP_DC, cn);
    364   1.9     ragge 	HP_WCSR(HP_DA, (tn << 8) | sn);
    365   1.9     ragge 	HP_WCSR(HP_CS1, HPCS_READ);
    366   1.9     ragge 
    367   1.9     ragge 	while (MBA_RCSR(MBA_SR) & MBASR_DTBUSY)
    368   1.7     ragge 		;
    369   1.7     ragge 	return;
    370   1.1     ragge }
    371   1.1     ragge 
    372   1.2     ragge extern char end[];
    373   1.2     ragge static char *top = (char*)end;
    374   1.1     ragge 
    375   1.2     ragge void *
    376   1.2     ragge alloc(size)
    377  1.23        he         size_t size;
    378   1.2     ragge {
    379   1.2     ragge 	void *ut = top;
    380   1.2     ragge 	top += size;
    381   1.2     ragge 	return ut;
    382   1.1     ragge }
    383   1.1     ragge 
    384   1.1     ragge void
    385  1.23        he dealloc(ptr, size)
    386   1.2     ragge         void *ptr;
    387  1.23        he         size_t size;
    388   1.1     ragge {
    389   1.1     ragge }
    390   1.1     ragge 
    391   1.2     ragge int
    392   1.2     ragge romclose(f)
    393   1.2     ragge 	struct open_file *f;
    394   1.1     ragge {
    395   1.2     ragge 	return 0;
    396   1.1     ragge }
    397  1.10     ragge 
    398  1.10     ragge #ifdef USE_PRINTF
    399  1.10     ragge void
    400  1.10     ragge putchar(int ch)
    401  1.10     ragge {
    402  1.10     ragge 	/*
    403  1.10     ragge 	 * On KA88 we may get C-S/C-Q from the console.
    404  1.10     ragge 	 * Must obey it.
    405  1.10     ragge 	 */
    406  1.10     ragge 	while (mfpr(PR_RXCS) & GC_DON) {
    407  1.10     ragge 		if ((mfpr(PR_RXDB) & 0x7f) == 19) {
    408  1.10     ragge 			while (1) {
    409  1.10     ragge 				while ((mfpr(PR_RXCS) & GC_DON) == 0)
    410  1.10     ragge 					;
    411  1.10     ragge 				if ((mfpr(PR_RXDB) & 0x7f) == 17)
    412  1.10     ragge 					break;
    413  1.10     ragge 			}
    414  1.10     ragge 		}
    415  1.10     ragge 	}
    416  1.10     ragge 
    417  1.10     ragge 	while ((mfpr(PR_TXCS) & GC_RDY) == 0)
    418  1.10     ragge 		;
    419  1.10     ragge 	mtpr(0, PR_TXCS);
    420  1.10     ragge 	mtpr(ch & 0377, PR_TXDB);
    421  1.10     ragge 	if (ch == 10)
    422  1.10     ragge 		putchar(13);
    423  1.10     ragge }
    424  1.10     ragge #endif
    425