Searched refs:wkbuf (Results 1 – 1 of 1) sorted by relevance
217 WKdm_hv(uint32_t *wkbuf) in WKdm_hv() argument220 uint32_t *inw = (uint32_t *) wkbuf; in WKdm_hv()223 panic("WKdm(%p): invalid header 0x%x 0x%x 0x%x", wkbuf, *inw, *(inw + 1), *(inw + 2)); in WKdm_hv()227 (void) wkbuf; in WKdm_hv()