Searched refs:user_buffer (Results 1 – 2 of 2) sorted by relevance
121 user_out_ptr<void> user_buffer, size_t buffer_size) { in sys_vcpu_read_state() argument135 status = user_buffer.copy_array_to_user(buffer, buffer_size); in sys_vcpu_read_state()143 user_in_ptr<const void> user_buffer, size_t buffer_size) { in sys_vcpu_write_state() argument154 status = user_buffer.copy_array_from_user(buffer, buffer_size); in sys_vcpu_write_state()
154 user_out_ptr<void> user_buffer, in sys_system_mexec_payload_get() argument187 return user_buffer.copy_array_to_user(buffer.get(), buffer_size); in sys_system_mexec_payload_get()
Completed in 9 milliseconds