handle_ri
asmlinkage void handle_ri(void);
[EXCCODE_INE] = handle_ri,
[EXCCODE_IPE] = handle_ri,
set_except_vector(EXCCODE_RI, handle_ri);
extern asmlinkage void handle_ri(void);
return handle_ri(vcpu);
return handle_ri(vcpu);