Rename node_id -> numa_id
authorKevin Klues <klueska@cs.berkeley.edu>
Tue, 4 Aug 2015 00:26:25 +0000 (17:26 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 15 Sep 2015 18:04:35 +0000 (14:04 -0400)
commita9f4891ab49364269ca50e0a328c633b3d137b94
tree12f6beead77f270bfda4a0d520fd2a52da20eea6
parent05b75de9dc92ac4677f376de746e2ae063cfea91
Rename node_id -> numa_id

It's less confusing to talk about a numa id than a node id.  Node
implies a completely different machine and has connotations with a
datacenter node rather than a single machine.
kern/arch/x86/coreid.h
kern/arch/x86/vmm/intel/vmx.c