imps_fps
imps_bad_bios (imps_fps * fps_ptr)
imps_read_bios (imps_fps * fps_ptr)
imps_fps *fps_ptr = (imps_fps *) PHYS_TO_VIRTUAL (start);
typedef struct imps_fps imps_fps; /* MP floating pointer structure */