Searched refs:badvaddr_start (Results 1 – 1 of 1) sorted by relevance
98 int badvaddr_start = era_start + sizeof(u64); in gpr_set() local112 badvaddr_start, badvaddr_start + sizeof(u64)); in gpr_set()