Lines Matching defs:p4
237 * Probe for a P4 register at the passed virtual address.
238 * Returns P4 ID value, or -1 if no P4 register.
245 /* Read the P4 register. */
251 * framebuffer does not have a P4 register.
274 * Turn video on or off using the P4 register.
297 * Use the P4 register to determine the screen size.
302 int p4, p4type, p4size;
308 p4 = *fb->fb_pfour;
309 p4type = P4_FBTYPE(p4);
324 printf("%s: P4 size code %d unknown\n",