ptval_param
unsigned long dat_get_ptval(struct page_table *table, struct ptval_param param)
void dat_set_ptval(struct page_table *table, struct ptval_param param, unsigned long val)
#define MKPTVAL(o, l) ((struct ptval_param) { .offset = (o), .len = ((l) + 1) / 2 - 1})
unsigned long dat_get_ptval(struct page_table *table, struct ptval_param param);
void dat_set_ptval(struct page_table *table, struct ptval_param param, unsigned long val);