Searched refs:rdi_CPwrite_proc (Results 1 – 1 of 1) sorted by relevance
432 typedef int rdi_CPwrite_proc(unsigned CPnum, unsigned32 mask, ARMword const *state); typedef485 rdi_CPwrite_proc *CPwrite;