Lines Matching defs:table
117 void __init init_pointer_table(void *table, int type)
120 unsigned long ptable = (unsigned long)table;
147 * For a pointer table for a user process address space, a
148 * table is taken from a page allocated for the purpose. Each
186 int free_pointer_table(void *table, int type)
189 unsigned long ptable = (unsigned long)table;
195 panic ("table already free!");
254 /* Find the last ptr table that was used in head.S and
362 printk ("[new table]");
491 * initialize the bad page table and bad page to point