EXCCAUSE_FETCH_CACHE_ATTRIBUTE
{ EXCCAUSE_FETCH_CACHE_ATTRIBUTE, 0, do_page_fault },
exccause == EXCCAUSE_FETCH_CACHE_ATTRIBUTE) ? 1 : 0;