SRINIVASAN MUTHULAXMI

Using trusted user space pages as kernel data pages