x86/paging: Use CPUSet instead of cpu_mask_t

2013-12-06 03:27:48 +01:00
parent e052b3e630
commit 2b04d8ab31
2 changed files with 5 additions and 6 deletions
@@ -40,8 +40,6 @@ enum {
 	SMP_MSG_FLAG_FREE_ARG	= 0x2,
 };

-typedef uint32 cpu_mask_t;
-
 typedef void (*smp_call_func)(addr_t data1, int32 currentCPU, addr_t data2, addr_t data3);

 class CPUSet {