Lines Matching refs:mpfps
164 static mpfps_t mpfps;
278 mpfps = (mpfps_t)(KERNBASE + x);
281 if (mpfps->config_type != 0) {
285 mpfps->spec_rev, mpfps->config_type);
286 if (mpfps->config_type != 5 && mpfps->config_type != 6) {
289 mpfps->config_type);
294 if ((uintptr_t)mpfps->pap >= 1024 * 1024) {
299 mpct = (mpcth_t)(KERNBASE + (uintptr_t)mpfps->pap);
300 if (mpct->base_table_length + (uintptr_t)mpfps->pap >=
308 (uintptr_t)mpfps->pap < 1024 * 1024)
336 if (mpfps->config_type != 0) {
359 if (mpfps->config_type != 0) {
361 printf("Default Configuration %d", mpfps->config_type);
403 if (mpfps->mpfb2 & MPFB2_IMCR_PRESENT) {
520 if (mpfps->config_type != 0) {
522 switch (mpfps->config_type) {
536 mpfps->config_type);
594 if (mpfps->config_type != 0) {
597 busses[0].bus_type = default_data[mpfps->config_type - 1][2];
601 default_data[mpfps->config_type - 1][4];
894 if (mpfps->config_type == 7)
896 if (mpfps->config_type == 2) {
910 if (mpfps->config_type != 0) {