Searched defs:res32 (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/dev/drm2/ | ||
| H A D | drm_ioc32.c | 496 drm_ctx_res32_t *res32 = data; in compat_drm_resctx() local |
| /freebsd/sys/kern/ | ||
| H A D | kern_umtx.c | 5124 uint32_t res32; in umtx_read_uptr() local |