Commit 3e09a664 authored by Josh Kunz's avatar Josh Kunz

More logic errors/typos

* Moves where cnode->cptr is defined closer to where a cnode is first
  created. This way, cnodes not created through `cap_insert` still get
* When granting, we definitely don't want copy the src cspace to the dst
  cspace. Kind-of defeats the purpose
parent c626cc01
Pipeline #525 passed with stage