rmp_mark_pages_firmware
if (rmp_mark_pages_firmware(__pa(sev_init_ex_buffer), npages, false)) {
if (rmp_mark_pages_firmware(__pa(data), 1, true)) {
if (rmp_mark_pages_firmware(paddr, npages, locked))
if (rmp_mark_pages_firmware(*desc->paddr_ptr, npages, true)) {
if (rmp_mark_pages_firmware(__pa(cmd_buf), 1, true))