Skip to content

Commit 48910e0

Browse files
修复格式化后导致某些变量声明中有奇怪空格的问题
Co-authored-by: wenxuanjun <41050170+wenxuanjun@users.noreply.github.com>
1 parent ad08ded commit 48910e0

File tree

296 files changed

+4548
-4548
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

296 files changed

+4548
-4548
lines changed

.clang-format

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ AlignAfterOpenBracket: BlockIndent
1111
AlignArrayOfStructures: Left
1212
AlignConsecutiveAssignments: Consecutive
1313
AlignConsecutiveBitFields: true
14-
AlignConsecutiveDeclarations: true
14+
AlignConsecutiveDeclarations: None
1515
AlignConsecutiveMacros: None
1616
AlignEscapedNewlines: Right
1717
AlignOperands: Align

src/arch/loongarch64/include/page_la64.h

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -53,11 +53,11 @@ typedef struct page_directory {
5353
page_table_t *table;
5454
} page_directory_t;
5555

56-
void arch_page_setup();
57-
void unmap_page(page_directory_t *directory, uint64_t vaddr);
58-
void page_map_to(page_directory_t *directory, uint64_t vaddr, uint64_t paddr, uint64_t flags);
56+
void arch_page_setup();
57+
void unmap_page(page_directory_t *directory, uint64_t vaddr);
58+
void page_map_to(page_directory_t *directory, uint64_t vaddr, uint64_t paddr, uint64_t flags);
5959
uint64_t get_arch_page_table_flags(uint64_t flags);
6060
uint64_t map_change_attribute(uint64_t *pgdir, uint64_t vaddr, uint64_t flags);
61-
void free_page_directory(page_directory_t *dir);
61+
void free_page_directory(page_directory_t *dir);
6262
page_directory_t *clone_page_directory(page_directory_t *dir, bool all_copy);
63-
void switch_page_directory0(page_directory_t *dir);
63+
void switch_page_directory0(page_directory_t *dir);

src/arch/riscv64/boot/early_mapper.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ typedef uint64_t pte_t;
3535
// 内核预留的页表空间(在数据段中)
3636
#define PAGE_TABLE_POOL_SIZE (4 * 1024 * 1024) // 4MB 用于页表
3737
static uint8_t page_table_pool[PAGE_TABLE_POOL_SIZE] __attribute__((aligned(PAGE_SIZE)));
38-
static size_t page_table_pool_used = 0;
38+
static size_t page_table_pool_used = 0;
3939

4040
// 辅助宏
4141
#ifndef ALIGN_UP

src/arch/riscv64/boot/open_sbi.c

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@
22

33
extern uintptr_t smp_entry;
44

5-
boot_memory_map_t opensbi_memory_map;
5+
boot_memory_map_t opensbi_memory_map;
66
boot_framebuffer_t opensbi_fb;
7-
char *kernel_cmdline = NULL;
8-
extern uintptr_t opensbi_dtb_vaddr;
7+
char *kernel_cmdline = NULL;
8+
extern uintptr_t opensbi_dtb_vaddr;
99

1010
uint64_t boot_get_hhdm_offset() {
1111
return 0xffff800000000000;

src/arch/riscv64/boot/start.c

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -4,13 +4,13 @@
44

55
extern uint8_t _bss_start[], _bss_end[];
66

7-
extern boot_memory_map_t opensbi_memory_map;
7+
extern boot_memory_map_t opensbi_memory_map;
88
extern boot_framebuffer_t opensbi_fb;
9-
extern char *kernel_cmdline;
10-
void *opensbi_dtb_vaddr;
9+
extern char *kernel_cmdline;
10+
void *opensbi_dtb_vaddr;
1111

1212
static bool fdt_getprop_u64(const void *fdt, int node, const char *name, int idx, uint64_t *out) {
13-
int len;
13+
int len;
1414
const fdt64_t *p = fdt_getprop(fdt, node, name, &len);
1515
if (!p || len < ((idx + 1) * sizeof(uint64_t)))
1616
return false;
@@ -21,8 +21,8 @@ static bool fdt_getprop_u64(const void *fdt, int node, const char *name, int idx
2121
static void setup_framebuffer(boot_framebuffer_t *fb) {
2222
memset(fb, 0, sizeof(*fb));
2323

24-
void *fdt = opensbi_dtb_vaddr;
25-
int fb_off = fdt_path_offset(fdt, "/framebuffer");
24+
void *fdt = opensbi_dtb_vaddr;
25+
int fb_off = fdt_path_offset(fdt, "/framebuffer");
2626

2727
// 如果找不到 /framebuffer,尝试按 compatible 查找 simple-framebuffer
2828
if (fb_off < 0) {
@@ -41,7 +41,7 @@ static void setup_framebuffer(boot_framebuffer_t *fb) {
4141

4242
// 获取基本属性
4343
const fdt32_t *prop32;
44-
uint32_t width = 0, height = 0, stride = 0;
44+
uint32_t width = 0, height = 0, stride = 0;
4545

4646
prop32 = fdt_getprop(fdt, fb_off, "width", NULL);
4747
if (!prop32)
@@ -141,7 +141,7 @@ static void setup_framebuffer(boot_framebuffer_t *fb) {
141141
}
142142

143143
// 获取 reg 属性
144-
int reg_len;
144+
int reg_len;
145145
const fdt64_t *reg = fdt_getprop(fdt, fb_off, "reg", &reg_len);
146146
if (!reg || reg_len < 16)
147147
goto no_fb;
@@ -194,7 +194,7 @@ static void setup_memmap(
194194
if (!name)
195195
continue;
196196
if (strncmp(name, "memory@", 7) == 0 || strcmp(name, "memory") == 0) {
197-
int reg_len;
197+
int reg_len;
198198
const fdt64_t *reg =
199199
(const fdt64_t *)fdt_getprop(opensbi_dtb_vaddr, offset, "reg", &reg_len);
200200
if (reg && reg_len >= (int)sizeof(uint64_t) * 2
@@ -214,12 +214,12 @@ static void setup_memmap(
214214
/* 2) 收集保留区域(reserved list) */
215215
typedef struct {
216216
uint64_t base, size;
217-
int type; /* 使用你的 enum 常量 */
217+
int type; /* 使用你的 enum 常量 */
218218
} reserved_region_t;
219219

220220
/* 预留数组大小合理上限 */
221221
reserved_region_t reserved[256];
222-
int reserved_count = 0;
222+
int reserved_count = 0;
223223

224224
/* 2.1 内核区域作为 RESERVED(这里把内核标记为可执行与模块区,如果你要 kernel_module 可改) */
225225
if (kernel_end > kernel_start && reserved_count < (int)sizeof(reserved) / sizeof(reserved[0])) {
@@ -246,7 +246,7 @@ static void setup_memmap(
246246
/* 遍历 reserved-memory 的子节点 */
247247
for (child = fdt_first_subnode(opensbi_dtb_vaddr, resmem_off); child >= 0;
248248
child = fdt_next_subnode(opensbi_dtb_vaddr, child)) {
249-
int reg_len;
249+
int reg_len;
250250
const fdt64_t *reg =
251251
(const fdt64_t *)fdt_getprop(opensbi_dtb_vaddr, child, "reg", &reg_len);
252252
if (!reg || reg_len < (int)sizeof(uint64_t) * 2)
@@ -264,7 +264,7 @@ static void setup_memmap(
264264
int chosen_off = fdt_path_offset(opensbi_dtb_vaddr, "/chosen");
265265
if (chosen_off >= 0 && reserved_count < (int)sizeof(reserved) / sizeof(reserved[0])) {
266266
uint64_t initrd_start = 0, initrd_end = 0;
267-
bool has_start =
267+
bool has_start =
268268
fdt_getprop_u64(opensbi_dtb_vaddr, chosen_off, "linux,initrd-start", 0, &initrd_start);
269269
bool has_end =
270270
fdt_getprop_u64(opensbi_dtb_vaddr, chosen_off, "linux,initrd-end", 0, &initrd_end);
@@ -388,7 +388,7 @@ static const char *fdt_kernel_cmdline(void *fdt) {
388388
if (chosen_off < 0)
389389
return NULL;
390390

391-
int len = 0;
391+
int len = 0;
392392
const char *bootargs = fdt_getprop(fdt, chosen_off, "bootargs", &len);
393393
if (!bootargs || len <= 0)
394394
return NULL;
@@ -397,10 +397,10 @@ static const char *fdt_kernel_cmdline(void *fdt) {
397397
}
398398

399399
uint64_t fdt_get_initrd(const void *fdt, size_t *out_size) {
400-
int chosen;
400+
int chosen;
401401
const void *prop;
402-
int len;
403-
uint64_t start = 0, end = 0;
402+
int len;
403+
uint64_t start = 0, end = 0;
404404

405405
if (!fdt)
406406
return 0;

src/arch/riscv64/driver/ns16550.c

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,8 @@ static inline uint32_t uart_calc_offset(uart_device_t *uart, uint8_t reg) {
1010

1111
/* 读寄存器 - 支持不同访问宽度 */
1212
static uint32_t uart_read_reg(uart_device_t *uart, uint8_t reg) {
13-
uint32_t offset = uart_calc_offset(uart, reg);
14-
volatile void *addr = (volatile char *)uart->base_addr + offset;
13+
uint32_t offset = uart_calc_offset(uart, reg);
14+
volatile void *addr = (volatile char *)uart->base_addr + offset;
1515

1616
switch (uart->access_width) {
1717
case UART_ACCESS_8BIT:
@@ -27,8 +27,8 @@ static uint32_t uart_read_reg(uart_device_t *uart, uint8_t reg) {
2727

2828
/* 写寄存器 - 支持不同访问宽度 */
2929
static void uart_write_reg(uart_device_t *uart, uint8_t reg, uint32_t value) {
30-
uint32_t offset = uart_calc_offset(uart, reg);
31-
volatile void *addr = (volatile char *)uart->base_addr + offset;
30+
uint32_t offset = uart_calc_offset(uart, reg);
31+
volatile void *addr = (volatile char *)uart->base_addr + offset;
3232

3333
switch (uart->access_width) {
3434
case UART_ACCESS_8BIT:

src/arch/riscv64/driver/serial.c

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -6,11 +6,11 @@
66
#include "mem/frame.h"
77
#include "mem/page.h"
88

9-
extern void *opensbi_dtb_vaddr; // start.c
9+
extern void *opensbi_dtb_vaddr; // start.c
1010
struct fdt_serial_device fdt_serial;
11-
bool serial_initialized = false;
12-
uart_device_t uart0;
13-
uart_config_t config;
11+
bool serial_initialized = false;
12+
uart_device_t uart0;
13+
uart_config_t config;
1414

1515
static const char *serial_compatibles[] = {
1616
"ns16550a", "snps,dw-apb-uart", "sifive,uart0", "riscv,uart0", "uart0", NULL,
@@ -20,14 +20,14 @@ static int find_serial_chosem(struct fdt_serial_device *device) {
2020
int chosen_off = fdt_path_offset(opensbi_dtb_vaddr, "/chosen");
2121
if (chosen_off < 0)
2222
return -ENODEV;
23-
int len = 0;
23+
int len = 0;
2424
const char *stdout_path = fdt_getprop(opensbi_dtb_vaddr, chosen_off, "stdout-path", &len);
2525
if (!stdout_path || len <= 0)
2626
return -ENODEV;
2727
char path_buf[128];
2828

29-
const char *colon = strchr(stdout_path, ':');
30-
size_t path_len = colon ? (size_t)(colon - stdout_path) : strlen(stdout_path);
29+
const char *colon = strchr(stdout_path, ':');
30+
size_t path_len = colon ? (size_t)(colon - stdout_path) : strlen(stdout_path);
3131
if (path_len >= sizeof(path_buf))
3232
return -ENAMETOOLONG;
3333
memcpy(path_buf, stdout_path, path_len);
@@ -64,7 +64,7 @@ static int find_serial_chosem(struct fdt_serial_device *device) {
6464

6565
int find_serial_by_compatible(struct fdt_serial_device *serial) {
6666
void *fdt = opensbi_dtb_vaddr;
67-
int node;
67+
int node;
6868

6969
memset(serial, 0, sizeof(*serial));
7070

@@ -77,7 +77,7 @@ int find_serial_by_compatible(struct fdt_serial_device *serial) {
7777
// 匹配已知串口类型
7878
for (int i = 0; serial_compatibles[i]; i++) {
7979
if (strstr(compatible, serial_compatibles[i])) {
80-
int len;
80+
int len;
8181
const fdt64_t *reg = fdt_getprop(fdt, node, "reg", &len);
8282
if (reg && len >= sizeof(fdt64_t)) {
8383
serial->base_addr = fdt64_to_cpu(reg[0]);
@@ -157,8 +157,8 @@ int init_serial() {
157157
| ARCH_PT_FLAG_DIRTY
158158
);
159159
uart_init(&uart0, (volatile void *)virt, NULL);
160-
tty_device_t *device = alloc_tty_device(TTY_DEVICE_SERIAL);
161-
struct tty_serial_ *data = malloc(sizeof(struct tty_serial_));
160+
tty_device_t *device = alloc_tty_device(TTY_DEVICE_SERIAL);
161+
struct tty_serial_ *data = malloc(sizeof(struct tty_serial_));
162162

163163
device->private_data = data;
164164
device->ops.read = serial_read;

src/arch/riscv64/include/arch_context.h

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -34,13 +34,13 @@ typedef struct fpu_context {
3434
} fpu_context_t;
3535

3636
struct arch_context_ {
37-
uint64_t ra;
38-
uint64_t sp;
37+
uint64_t ra;
38+
uint64_t sp;
3939
struct pt_regs *ctx;
40-
fpu_context_t fpu_ctx;
41-
bool dead;
42-
uint64_t user_stack;
43-
uint64_t user_stack_top;
40+
fpu_context_t fpu_ctx;
41+
bool dead;
42+
uint64_t user_stack;
43+
uint64_t user_stack_top;
4444
};
4545

4646
#define switch_to(prev, next) \

src/arch/riscv64/include/driver/ns16550.h

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -48,21 +48,21 @@ typedef enum {
4848
/* UART配置结构体 */
4949
typedef struct {
5050
uint32_t baudrate;
51-
uint8_t data_bits;
52-
uint8_t stop_bits;
53-
uint8_t parity;
54-
bool fifo_enable;
51+
uint8_t data_bits;
52+
uint8_t stop_bits;
53+
uint8_t parity;
54+
bool fifo_enable;
5555
} uart_config_t;
5656

5757
/* UART设备结构体(支持GAS)*/
5858
typedef struct {
59-
volatile void *base_addr; // 基地址
60-
uart_addr_space_t addr_space; // 地址空间类型
59+
volatile void *base_addr; // 基地址
60+
uart_addr_space_t addr_space; // 地址空间类型
6161
uart_access_width_t access_width; // 访问宽度
62-
uint32_t reg_shift; // 寄存器偏移位移(字节间距 = 1 << reg_shift)
63-
uint32_t reg_stride; // 寄存器步进(优先使用)
64-
uint32_t clock_freq; // 时钟频率
65-
uart_config_t config; // 配置参数
62+
uint32_t reg_shift; // 寄存器偏移位移(字节间距 = 1 << reg_shift)
63+
uint32_t reg_stride; // 寄存器步进(优先使用)
64+
uint32_t clock_freq; // 时钟频率
65+
uart_config_t config; // 配置参数
6666
} uart_device_t;
6767

6868
/* 函数声明 */
@@ -77,4 +77,4 @@ char uart_getc(uart_device_t *uart);
7777
bool uart_data_available(uart_device_t *uart);
7878
bool uart_is_transmit_empty(uart_device_t *uart);
7979
void uart_puts(uart_device_t *uart, const char *str);
80-
int uart_try_getc(uart_device_t *uart, char *c);
80+
int uart_try_getc(uart_device_t *uart, char *c);

src/arch/riscv64/include/driver/serial.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ struct fdt_serial_device {
88
uint32_t reg_shift;
99
uint32_t clock_freq;
1010
uint32_t reg_io_width;
11-
int found;
11+
int found;
1212
};
1313

1414
int init_serial();

0 commit comments

Comments
 (0)