Lines Matching defs:table
118 void __init init_pointer_table(void *table, int type)
121 unsigned long ptable = (unsigned long)table;
148 * For a pointer table for a user process address space, a
149 * table is taken from a page allocated for the purpose. Each
187 int free_pointer_table(void *table, int type)
190 unsigned long ptable = (unsigned long)table;
196 panic ("table already free!");
255 /* Find the last ptr table that was used in head.S and
363 printk ("[new table]");
459 * initialize the bad page table and bad page to point