biosdisk_int13ext
(d->type == BIOSDISK_TYPE_HD && biosdisk_int13ext(d->dev))) {
__compactcall int biosdisk_int13ext(int);