Found by checkpatch. No functional changes.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
typedef s64 __s64;
typedef u64 __u64;
-typedef enum { true=1, false=0 } bool;
+typedef enum { true = 1, false = 0 } bool;
struct cpu_set {
unsigned long max_cpu_id;
static inline __attribute__((always_inline)) void
set_bit(unsigned int nr, volatile unsigned long *addr)
{
- if (__builtin_constant_p(nr)) {
- asm volatile("lock orb %1,%0"
- : CONST_MASK_ADDR(nr, addr)
- : "iq" ((u8)CONST_MASK(nr))
- : "memory");
- } else {
- asm volatile("lock bts %1,%0"
- : BITOP_ADDR(addr) : "Ir" (nr) : "memory");
- }
+ if (__builtin_constant_p(nr)) {
+ asm volatile("lock orb %1,%0"
+ : CONST_MASK_ADDR(nr, addr)
+ : "iq" ((u8)CONST_MASK(nr))
+ : "memory");
+ } else {
+ asm volatile("lock bts %1,%0"
+ : BITOP_ADDR(addr) : "Ir" (nr) : "memory");
+ }
}
static inline __attribute__((always_inline)) int
: "=r" (oldbit)
: "m" (*(unsigned long *)addr), "Ir" (nr));
- return oldbit;
+ return oldbit;
}
#define test_bit(nr, addr) \
enum x86_init_sipi { X86_INIT, X86_SIPI };
void x86_send_init_sipi(unsigned int cpu_id, enum x86_init_sipi type,
- int sipi_vector);
+ int sipi_vector);
void x86_enter_wait_for_sipi(struct per_cpu *cpu_data);
int x86_handle_events(struct per_cpu *cpu_data);
#define PAGE_FLAG_RW 0x02
#define PAGE_FLAG_UNCACHED 0x10
-#define PAGE_DEFAULT_FLAGS (PAGE_FLAG_PRESENT | PAGE_FLAG_RW )
+#define PAGE_DEFAULT_FLAGS (PAGE_FLAG_PRESENT | PAGE_FLAG_RW)
#define PAGE_READONLY_FLAGS PAGE_FLAG_PRESENT
#define PAGE_NONPRESENT_FLAGS 0
static inline void cpuid(unsigned int op, unsigned int *eax, unsigned int *ebx,
unsigned int *ecx, unsigned int *edx)
{
- *eax =op;
+ *eax = op;
*ecx = 0;
__cpuid(eax, ebx, ecx, edx);
}
static inline void spin_unlock(spinlock_t *lock)
{
- asm volatile("": : :"memory");
+ asm volatile("" : : : "memory");
clear_bit(0, &lock->state);
}
typedef s64 __s64;
typedef u64 __u64;
-typedef enum { true=1, false=0 } bool;
+typedef enum { true = 1, false = 0 } bool;
struct cpu_set {
unsigned long max_cpu_id;
goto error_nopage;
sib = *(struct sib *)&page[pc & PAGE_OFFS_MASK];
- if (sib.ss !=0 || sib.index != 4 || sib.reg != 5)
+ if (sib.ss != 0 || sib.index != 4 || sib.reg != 5)
goto error_unsupported;
access.inst_len += 5;
break;
}
static bool vtd_add_device_to_cell(struct cell *cell,
- const struct jailhouse_pci_device *device)
+ const struct jailhouse_pci_device *device)
{
u64 root_entry_lo = root_entry_table[device->bus].lo_word;
struct vtd_entry *context_entry_table, *context_entry;
unsigned int next_cpu(unsigned int cpu, struct cpu_set *cpu_set,
int exception);
-#define for_each_cpu(cpu, set) \
+#define for_each_cpu(cpu, set) \
for ((cpu) = -1; \
(cpu) = next_cpu((cpu), (set), -1), \
(cpu) <= (set)->max_cpu_id; \
)
-#define for_each_cpu_except(cpu, set, exception) \
+#define for_each_cpu_except(cpu, set, exception) \
for ((cpu) = -1; \
(cpu) = next_cpu((cpu), (set), (exception)), \
(cpu) <= (set)->max_cpu_id; \
if (!pud_valid(pud))
return NULL;
phys = arch_page_map_gphys2phys(cpu_data,
- (unsigned long)pmd_offset(pud, 0, 0));
+ (unsigned long)pmd_offset(pud, 0, 0));
if (phys == INVALID_PHYS_ADDR)
return NULL;
err = page_map_create(hv_page_table, phys, PAGE_SIZE, page_virt,