Helper to determine if a vcore is online / mapped
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 15 Aug 2011 21:58:53 +0000 (14:58 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:06 +0000 (17:36 -0700)
commit00ace853b64dc06176991c5f45690aa9b70277bd
tree0a9b2329257e7f2bbbd79af31aa712e067b4c6ad
parent78e6dea155cce76c4de42c2c1341ee24bb8cbe21
Helper to determine if a vcore is online / mapped

Mapped to a pcore, which means it is either online or will be soon (kmsg
in flight).  For the most part, 'mapped' means 'online'.  Might change
this later, to differentiate between existing, not existing, and
actually running (similar to how VM works: mapped != paged in).
kern/include/process.h
kern/src/process.c