door_return_desc32_t
door_return_desc32_t *drdp =
(door_return_desc32_t *)(uintptr_t)(caddr32_t)arg3;
door_return_desc32_t drd;