Searched defs:kdp_machine_msr64_read (Results 1 – 2 of 2) sorted by relevance
388 kdp_machine_msr64_read(kdp_readmsr64_req_t *rq, caddr_t data, uint16_t lcpu) in kdp_machine_msr64_read() function
314 kdp_machine_msr64_read(kdp_readmsr64_req_t *rq, caddr_t data, uint16_t lcpu) in kdp_machine_msr64_read() function