mk_esid_data
"r" (mk_esid_data(ea, ssize, index))
esid_data = mk_esid_data(ea, ssize, index);
WRITE_ONCE(p->save_area[index].esid, cpu_to_be64(mk_esid_data(ea, ssize, index)));
"r" (mk_esid_data(p, ssize, SLB_NUM_BOLTED))
"r" (mk_esid_data(p, ssize, SLB_NUM_BOLTED + 1))