Searched refs:cmdline_addr (Results 1 – 3 of 3) sorted by relevance
142 void *cmdline_addr; in load_kernel() local184 bios_cfg_read_entry_dma(&cmdline_addr, FW_CFG_CMDLINE_ADDR, 4); in load_kernel()186 bios_cfg_read_entry_dma(cmdline_addr, FW_CFG_CMDLINE_DATA, cmdline_size); in load_kernel()190 stack_addr = (uint32_t)(cmdline_addr - setup_addr - 16); in load_kernel()
74 void *cmdline_addr = &cmdline_buffer; in pvh_load_kernel() local110 bios_cfg_read_entry(cmdline_addr, FW_CFG_CMDLINE_DATA, cmdline_size, in pvh_load_kernel()112 start_info.cmdline_paddr = (uintptr_t)cmdline_addr; in pvh_load_kernel()
51 cmdline_addr = 0;116 cmdline_addr, 0x0fffffff, 1);