advance_prpageheader_cur_nextmapping
return ((void *)advance_prpageheader_cur_nextmapping(pcp));
(void *)advance_prpageheader_cur_nextmapping(pcp);
addr = (void *)advance_prpageheader_cur_nextmapping(&cur);
src_addr = advance_prpageheader_cur_nextmapping(&src_cur);
dst_addr = advance_prpageheader_cur_nextmapping(&dst_cur);
src_addr = advance_prpageheader_cur_nextmapping(
dst_addr = advance_prpageheader_cur_nextmapping(
vicaddr = (void *)advance_prpageheader_cur_nextmapping(
vicaddr = (void *)advance_prpageheader_cur_nextmapping(
advance_prpageheader_cur_nextmapping(&cur);
advance_prpageheader_cur_nextmapping(&cur);
*)advance_prpageheader_cur_nextmapping(&cur);