Searched defs:bsd_x86_64_write_dt (Results 1 – 2 of 2) sorted by relevance
36 void bsd_x86_64_write_dt(void *ptr, unsigned long addr, in bsd_x86_64_write_dt() function