« Previous | Next » 

Revision b025c8b4

IDb025c8b4ab108a5a4bb4ef1e2500fc63214e2193

Added by Luiz Capitulino over 12 years ago

Monitor: Make mon_set_cpu() public

Also rename it to monitor_set_cpu().

Signed-off-by: Luiz Capitulino <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences