sicuro di aver estratto bene?

sembra un errore del codice del kernel..stranissimo