PG_LEVEL_TO_RMP
fw_args.page_size = PG_LEVEL_TO_RMP(PG_LEVEL_4K);
state.pagesize = PG_LEVEL_TO_RMP(level);