mpfps_t
static mpfps_t mpfps;
mpfps = (mpfps_t)BIOS_PADDRTOVADDR(x);
static mpfps_t
mpfps_t mpfps;
static mpfps_t
mpfps_t mpfps;
static mpfps_t biosmptable_find_mpfps(void);
static mpfps_t biosmptable_search_mpfps(off_t base, int length);
mpfps_t mpfps;
mpt_build_mpfp(mpfps_t mpfp, vm_paddr_t gpa)
mpfps_t mpfp;
mpfp = (mpfps_t)curraddr;
static void MPFloatingPointer( u_int32_t paddr, int where, mpfps_t* mpfpsp );
mpfps_t mpfps;
MPFloatingPointer( u_int32_t paddr, int where, mpfps_t* mpfpsp )
mpfps_t mpfps;