documenting kernel memory interface