get_faulttype
const vm_prot_t ftype = get_faulttype(tf);
const vm_prot_t ftype = get_faulttype(cause);