Searched refs:physical_page_idx (Results 1 – 1 of 1) sorted by relevance
1518 uint64_t physical_page_idx = (token->physical_address / 4096); in rmt_dump_page_table_update() local1524 rmt_file_write_token_bits(data, physical_page_idx & 0xFFFFFFFFF, 44, 79); in rmt_dump_page_table_update()