Searched refs:kdp_writemsr64_req_t (Results 1 – 5 of 5) sorted by relevance
211 kdp_machine_msr64_write(kdp_writemsr64_req_t *, caddr_t /* data */, uint16_t /* lcpu */);
438 } KDP_PACKED kdp_writemsr64_req_t; typedef704 kdp_writemsr64_req_t writemsr64_req;
1138 kdp_writemsr64_req_t *rq = &pkt->writemsr64_req; in kdp_writemsr64()
402 kdp_machine_msr64_write(kdp_writemsr64_req_t *rq, caddr_t data, uint16_t lcpu) in kdp_machine_msr64_write()
322 kdp_machine_msr64_write(kdp_writemsr64_req_t *rq, caddr_t data, uint16_t lcpu) in kdp_machine_msr64_write()