Searched refs:registers (Results 1 – 3 of 3) sorted by relevance

/hypervisor/boot/include/
A D	boot.h	70 int32_t init_multiboot_info(uint32_t *registers); 72 void init_acrn_boot_info(uint32_t *registers);
/hypervisor/boot/multiboot/
A D	multiboot.c	68 int32_t init_multiboot_info(uint32_t *registers) in init_multiboot_info() argument 71 uint32_t magic = registers[0]; in init_multiboot_info() 72 uint32_t info = registers[1]; in init_multiboot_info()
/hypervisor/boot/
A D	boot.c	37 void init_acrn_boot_info(uint32_t *registers) in init_acrn_boot_info() argument 39 (void)init_multiboot_info(registers); in init_acrn_boot_info()

Completed in 6 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025