Searched refs:kmt_p4_branch (Results 1 – 1 of 1) sorted by relevance
76 kmt_p4_branch(uintptr_t from, uintptr_t to, int verbose) in kmt_p4_branch() function137 kmt_p4_branch((rec & 0xffffffff), rec >> 32, verbose); in kmt_p4_branches_unified()158 kmt_p4_branch(from, to, verbose); in kmt_p4_branches_split()