taglinefilesource code
perms562arch/ppc/mm/init.cint hash, page_index, segment, i, h, _h, api, vsid, perms;
perms692arch/ppc/mm/init.cperms = PP_RWRW;
perms695arch/ppc/mm/init.cperms = PP_RWRX;
perms699arch/ppc/mm/init.cperms = PP_RWRW;
perms700arch/ppc/mm/init.cperms = PP_RWXX;
perms704arch/ppc/mm/init.c_printk("VA: %08X, PA: %08X, Flags: %x, Perms: %d\n", va, pg->page_num<<12, pg->flags, perms);
perms706arch/ppc/mm/init.cslot->pp = perms;