9 VCI_KCBIT_HARDCPU_IDLE,
12 VCI_KCBIT_HISTORY = 20,
13 VCI_KCBIT_TAGXID = 24,
17 static inline uint32_t vci_kernel_config(void)
20 /* various legacy options */
21 #ifdef CONFIG_VSERVER_LEGACY
22 (1 << VCI_KCBIT_LEGACY) |
24 #ifdef CONFIG_VSERVER_LEGACYNET
25 (1 << VCI_KCBIT_LEGACYNET) |
28 /* configured features */
29 #ifdef CONFIG_VSERVER_PROC_SECURE
30 (1 << VCI_KCBIT_PROC_SECURE) |
32 #ifdef CONFIG_VSERVER_HARDCPU
33 (1 << VCI_KCBIT_HARDCPU) |
35 #ifdef CONFIG_VSERVER_HARDCPU_IDLE
36 (1 << VCI_KCBIT_HARDCPU_IDLE) |
40 #ifdef CONFIG_VSERVER_DEBUG
41 (1 << VCI_KCBIT_DEBUG) |
43 #ifdef CONFIG_VSERVER_HISTORY
44 (1 << VCI_KCBIT_HISTORY) |
47 /* inode xid tagging */
48 #if defined(CONFIG_INOXID_NONE)
49 (0 << VCI_KCBIT_TAGXID) |
50 #elif defined(CONFIG_INOXID_UID16)
51 (1 << VCI_KCBIT_TAGXID) |
52 #elif defined(CONFIG_INOXID_GID16)
53 (2 << VCI_KCBIT_TAGXID) |
54 #elif defined(CONFIG_INOXID_UGID24)
55 (3 << VCI_KCBIT_TAGXID) |
56 #elif defined(CONFIG_INOXID_INTERN)
57 (4 << VCI_KCBIT_TAGXID) |
58 #elif defined(CONFIG_INOXID_RUNTIME)
59 (5 << VCI_KCBIT_TAGXID) |
61 (7 << VCI_KCBIT_TAGXID) |