HPTE hpte; 
hpte_t hpte; 
static void __init iSeries_bolt_kernel(unsigned long saddr, unsigned long eaddr){	unsigned long pa;	unsigned long mode_rw = _PAGE_ACCESSED | _PAGE_COHERENT | PP_RWXX;	HPTE hpte;	for (pa = saddr; pa < eaddr ;pa += PAGE_SIZE) {		unsigned long ea = (unsigned long)__va(pa);		unsigned long vsid = get_kernel_vsid(ea);		unsigned long va = (vsid << 28) | (pa & 0xfffffff);		unsigned long vpn = va >> PAGE_SHIFT;		unsigned long slot = HvCallHpt_findValid(&hpte, vpn);		/* Make non-kernel text non-executable */		if (!in_kernel_text(ea))			mode_rw |= HW_NO_EXEC;		if (hpte.dw0.dw0.v) {			/* HPTE exists, so just bolt it */			HvCallHpt_setSwBits(slot, 0x10, 0);			/* And make sure the pp bits are correct */			HvCallHpt_setPp(slot, PP_RWXX);		} else			/* No HPTE exists, so create a new bolted one */			iSeries_make_pte(va, phys_to_abs(pa), mode_rw);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/96e2844999f99878fc5b03b81ccaa60580005b81/iSeries_setup.c/clean/arch/ppc64/kernel/iSeries_setup.c