Searched defs:kdp_machine_msr64_write (Results 1 – 2 of 2) sorted by relevance
402 kdp_machine_msr64_write(kdp_writemsr64_req_t *rq, caddr_t data, uint16_t lcpu) in kdp_machine_msr64_write() function
308 kdp_machine_msr64_write(kdp_writemsr64_req_t *rq, caddr_t data, uint16_t lcpu) in kdp_machine_msr64_write() function