hat_region_cookie_t
uint_t, hat_region_cookie_t);
uint_t, uint_t, hat_region_cookie_t);
void hat_unlock_region(struct hat *, caddr_t, size_t, hat_region_cookie_t);
hat_region_cookie_t hat_join_region(struct hat *, caddr_t, size_t, void *,
void hat_leave_region(struct hat *, hat_region_cookie_t,
void hat_dup_region(struct hat *, hat_region_cookie_t);
#define HAT_INVALID_REGION_COOKIE ((hat_region_cookie_t)-1)
hat_region_cookie_t rcookie; /* region for hat calls */
uint_t attr, uint_t flags, hat_region_cookie_t rcookie)
hat_region_cookie_t rcookie)
hat_region_cookie_t rcookie)
hat_region_cookie_t
hat_leave_region(struct hat *hat, hat_region_cookie_t rcookie, uint_t flags)
hat_dup_region(struct hat *hat, hat_region_cookie_t rcookie)
hat_region_cookie_t
ASSERT((hat_region_cookie_t)((uint64_t)rid) !=
return ((hat_region_cookie_t)((uint64_t)rid));
hat_leave_region(struct hat *sfmmup, hat_region_cookie_t rcookie, uint_t flags)
hat_dup_region(struct hat *sfmmup, hat_region_cookie_t rcookie)
uint_t attr, uint_t flags, hat_region_cookie_t rcookie)
hat_region_cookie_t rcookie)
hat_region_cookie_t rcookie)
hat_region_cookie_t rcookie;