Searched refs:virtual_page_idx (Results 1 – 1 of 1) sorted by relevance
1517 uint64_t virtual_page_idx = (token->virtual_address / 4096); in rmt_dump_page_table_update() local1523 rmt_file_write_token_bits(data, virtual_page_idx & 0xFFFFFFFFF, 8, 43); in rmt_dump_page_table_update()